Repository navigation

feat: add opt-in ECO annotations to validation reports #54

	name: Documentation
	on:
	push:
	branches: [main]
	pull_request:
	workflow_dispatch:
	permissions:
	contents: read
	concurrency:
	group: docs-${{ github.ref }}
	cancel-in-progress: true
	jobs:
	build:
	timeout-minutes: 10
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v5
	with:
	python-version: '3.12'
	# Pinned: MkDocs 2.0 drops the plugin and theme system this site uses.
	- name: Install MkDocs
	run: python -m pip install mkdocs==1.6.1 mkdocs-material==9.7.7
	- name: Build with strict link checking
	run: mkdocs build --strict --site-dir _site
	- if: github.event_name != 'pull_request'
	uses: actions/upload-pages-artifact@v3
	with:
	path: _site

	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 }}
	steps:
	- id: deployment
	uses: actions/deploy-pages@v4