Repository navigation

Add the comparison table between ROS 2 and FPrime. #131

	name: Deploy gh-pages

	on:
	pull_request:
	push:
	branches:
	- main

	jobs:
	markdown_lint:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: DavidAnson/markdownlint-cli2-action@v18
	with:
	config: '.markdownlint.yaml'
	globs: '*/.md'

	link_check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Check Markdown links
	uses: lycheeverse/lychee-action@v2
	with:
	args: >-
	--verbose
	--no-progress
	--root-dir .
	--max-retries 5
	--retry-wait-time 2
	--host-concurrency 3
	--host-request-interval 500ms
	'./*/.md'
	fail: true
	jobSummary: true
	token: ${{ secrets.GITHUB_TOKEN }}

	build:
	runs-on: ubuntu-latest
	if: github.event_name == 'pull_request' \|\| github.ref == 'refs/heads/main'
	steps:
	- uses: actions/checkout@v4

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.12'

	- name: Install uv
	run: pipx install uv

	- name: Setup just
	uses: extractions/setup-just@v1

	- name: Build
	run: \|
	just clean
	just build

	- name: Deploy
	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./site
	publish_branch: gh-pages
	commit_message: ${{ github.event.head_commit.message }}