docs

Bump the all-dependencies group across 1 directory with 4 updates #443

	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@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.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

Provide feedback