Support type-dependent search result highlighting via CSS (#12474) #11588

	name: Render documentation

	on:
	push:
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	env:
	FORCE_COLOR: "1"

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: "3"
	- name: Install graphviz
	run: sudo apt-get install graphviz
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	python -m pip install .[docs]
	- name: Render the documentation
	run: >
	sphinx-build
	-M html ./doc ./build/sphinx
	-vv
	--jobs=auto
	--show-traceback
	--fail-on-warning
	--keep-going

Provide feedback