docs

Update all #887

	name: docs

	on:
	push:
	tags:
	- v*
	branches:
	- main
	pull_request:

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
	with:
	# Fetch all history for applying timestamps to every page
	fetch-depth: 0

	- name: Set up Python
	uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
	with:
	python-version: '3.14'

	- name: Install ourself
	run: pip install .

	- name: Build documentation
	run: dda run docs build

	- name: Check links
	uses: lycheeverse/lychee-action@8646ba30535128ac92d33dfc9133794bfdd9b411
	with:
	lycheeVersion: v0.23.0
	fail: true
	failIfEmpty: true
	args: site

	- uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1
	with:
	name: documentation
	path: site

	publish:
	runs-on: ubuntu-latest

	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	needs:
	- build

	permissions:
	contents: write

	steps:
	- uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
	with:
	name: documentation
	path: site

	- uses: peaceiris/actions-gh-pages@84c30a85c19949d7eee79c4ff27748b70285e453 # v4.1.0
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./site
	commit_message: ${{ github.event.head_commit.message }}
	# Write .nojekyll at the root, see:
	# https://help.github.com/en/github/working-with-github-pages/about-github-pages#static-site-generators
	enable_jekyll: false
	# Only deploy if there were changes
	allow_empty_commit: false

Provide feedback