docs

chore(deps-dev): bump the dev-dependencies group with 2 updates #18

	name: docs

	on:
	push:
	branches: [master]
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	# Runs on pull requests too, without deploying. The site is built from the
	# repository's own markdown, so this build is also a link check over it: a
	# relative link that resolves to nothing fails here rather than 404ing on the
	# site later.
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- uses: actions/setup-node@v7
	with:
	node-version: 24
	cache: npm
	cache-dependency-path: website/package-lock.json

	- run: npm ci
	working-directory: website
	- run: npm run build
	working-directory: website

	- name: Upload the site
	if: github.event_name != 'pull_request'
	uses: actions/upload-pages-artifact@v5
	with:
	path: website/build

	# Needs Settings -> Pages -> Source set to "GitHub Actions" once, after which
	# nothing here needs a token or a branch to push to.
	deploy:
	if: github.event_name != 'pull_request'
	needs: build
	runs-on: ubuntu-latest
	permissions:
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	# A deploy that is already running is left to finish rather than being
	# cancelled by the next push, which is what GitHub's Pages API expects.
	concurrency:
	group: pages
	cancel-in-progress: false
	steps:
	- id: deployment
	uses: actions/deploy-pages@v5

Navigation Menu