Repository navigation

docs: two runbooks and a release trap, all from real incidents #13

	# Docusaurus fails a build on a sidebar entry with no page, but publishes a page
	# with no sidebar entry and says nothing. Seven instructor pages sat live and
	# unreachable that way, including the two that set expectations honestly.

	name: CI

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

	permissions:
	contents: read

	jobs:
	structure:
	name: Pages are reachable and links resolve
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: ./scripts/check-docs.sh

	build:
	name: Site builds
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	# 22 to match deploy.yml, so a PR builds on the version that ships it.
	- uses: actions/setup-node@v4
	with:
	node-version: 22
	cache: npm
	- run: npm ci
	- run: npm run typecheck
	- run: npm run build

	# Renovate reports vulnerabilities already on main; this one blocks a PR that
	# is about to add a new dependency with a known advisory.
	dependency-review:
	uses: EduIDE/.github/.github/workflows/dependency-review.yml@v1