docs

ci: use ubuntu-slim for lint #326

	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@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1

	- name: Setup Python
	uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.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