Repository navigation

docs

Name the OpenAPI feature by what it is, not where it mounts #54

	# The documentation site on GitHub Pages, rebuilt on every push to main:
	# odoc's reference from the .mli files, then Starlight's pages around it.
	name: docs

	on:
	push:
	branches: [main]

	permissions:
	contents: read
	pages: write
	id-token: write

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

	jobs:
	deploy:
	runs-on: ubuntu-24.04
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- uses: actions/configure-pages@v5
	- uses: actions/checkout@v5
	- uses: ocaml/setup-ocaml@v3
	with:
	ocaml-compiler: "5.5"
	opam-repositories: \|
	hypha: https://github.com/hyphatech/opam-repository.git
	default: https://opam.ocaml.org
	- run: opam install . --deps-only --with-dev-setup -y
	- uses: oven-sh/setup-bun@v2
	# Use setup-ocaml's switch instead of the Makefile's.
	- run: make docs OPAM="opam exec --"
	- uses: actions/upload-pages-artifact@v4
	with:
	path: _build/docs
	- uses: actions/deploy-pages@v4
	id: deployment