Repository navigation

feat: v1.20.0 roadmap, fleet About drift report, docs hygiene guards #31

	name: Deploy GitHub Pages

	on:
	push:
	branches: [main]
	paths:
	- "docs/**"
	- "assets/**"
	- "registry.json"
	workflow_dispatch:

	permissions: {}

	concurrency:
	group: pages
	cancel-in-progress: true

	jobs:
	deploy:
	permissions:
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7

	- name: Copy registry into docs for client-side fetch
	run: cp registry.json docs/registry.json

	- name: Copy assets into docs
	run: \|
	mkdir -p docs/assets
	cp -r assets/* docs/assets/ 2>/dev/null \|\| true

	# The footer date is the date of the deployed commit, stamped at deploy
	# time. It is never computed in the browser, so it cannot claim the
	# catalog is fresher than it is.
	- name: Stamp footer with deployed commit date
	run: \|
	updated="$(git log -1 --format=%cs)"
	sed -i "s\|<span id=\"buildDate\"></span>\|<span id=\"buildDate\">Updated ${updated}</span>\|" docs/index.html
	grep -q "Updated ${updated}" docs/index.html

	- uses: actions/configure-pages@v6

	- uses: actions/upload-pages-artifact@v5
	with:
	path: docs

	- uses: actions/deploy-pages@v5
	id: deployment