Build and Deploy Docs #15

	name: Build and Deploy Docs

	on:
	push:
	branches:
	- mainline
	# Daily rebuild to pick up changes in other repos as a placeholder until we have something more automatic
	schedule:
	- cron: '0 6 * * *'
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v5

	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.13'

	- name: Install dependencies
	run: pip install -r requirements.txt

	- name: Build documentation
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: mkdocs build

	- name: Validate links and images
	run: python scripts/validate_docs.py

	- name: Deploy documentation
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: mkdocs gh-deploy --force

Provide feedback