Repository navigation

docs

ci: bump the all-dependencies group with 3 updates #523

	name: docs

	on: ["push", "pull_request"]

	jobs:
	docs:
	# We want to run on external PRs, but not on our own internal PRs as they'll be run
	# by the push to the branch.
	if: github.event_name == 'push' \|\| github.event.pull_request.head.repo.full_name != github.repository

	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

	- name: Setup Python
	uses: actions/setup-python@6d4fd22b20465ccc0f7354476588e8df7c9ca0e0 # v7.1.0
	with:
	python-version: '3.x'
	cache: "pip"
	cache-dependency-path: \|
	requirements.txt
	docs/requirements.txt

	- name: Build
	run: \|
	pip install -r requirements.txt
	make cython

	- name: Sphinx Documentation Generator
	run: \|
	pip install -r docs/requirements.txt
	make docs