Documentation #4239

	---
	# yamllint disable rule:line-length

	name: Documentation
	on: # yamllint disable-line rule:truthy
	push:
	branches: ["main", "release-*"]
	pull_request:
	branches: ["main", "release-*"]
	# This workflow must be able to be triggered manually so that it can be
	# started from another workflow
	workflow_dispatch:

	jobs:
	build-docs:
	name: Build docs
	runs-on: ubuntu-24.04

	steps:
	- name: Checkout source
	uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1

	- name: Install prereqs
	run: \|
	echo 'APT::Acquire::Retries "5";' \| sudo tee /etc/apt/apt.conf.d/80-retries
	sudo apt-get update
	sudo DEBIAN_FRONTEND=noninteractive apt-get install -y python3-pip python3-venv

	- name: Build docs
	run: \|
	cd docs
	./setup-env.sh
	. ../.venv/bin/activate
	make html

Provide feedback