Clean up TODOs in docs site #124

	name: Build Space ROS docs

	on:
	push:
	branches:
	- rolling
	pull_request:

	jobs:
	test:
	runs-on: ubuntu-24.04
	steps:
	- name: Checkout
	uses: actions/checkout@v2

	- uses: prefix-dev/setup-pixi@v0.9.1
	with:
	pixi-version: v0.56.0
	cache: true

	- name: Build and test
	run: pixi run ci

	deploy:
	runs-on: ubuntu-24.04
	permissions:
	contents: write
	needs: test
	if: ${{ github.event_name == 'push' }}
	steps:
	- name: Checkout sources
	uses: actions/checkout@v2

	- uses: prefix-dev/setup-pixi@v0.9.1
	with:
	pixi-version: v0.56.0
	cache: true

	- name: Build multiversion docs
	run: pixi run deploy

	- name: Deploy to GitHub Pages
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: build/html

Provide feedback