build(deps-dev): bump coverage from 7.15.4 to 7.16.0 #274

	name: Check Sphinx external links
	env:
	UV_VERSION: "0.11.21"
	concurrency:
	# Cancel superseded runs on the same PR. github.ref is refs/pull/<n>/merge,
	# so each PR is its own group and never cancels another's runs.
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: ${{ github.event_name == 'pull_request' }}

	on:
	push:
	branches: [main]
	pull_request:
	merge_group:
	workflow_dispatch:

	jobs:
	check-external-links:
	runs-on: ubuntu-latest
	timeout-minutes: 30
	steps:
	- name: Checkout
	uses: actions/checkout@v7

	- name: Set up Python 3.
	uses: actions/setup-python@v7.0.0
	with:
	python-version: "3.12"

	- name: Install uv
	uses: astral-sh/setup-uv@v10.0.1
	with:
	version: ${{ env.UV_VERSION }}

	- name: Install dependencies
	run: uv pip install --system requests

	- name: Restore link cache
	uses: actions/cache@v6
	with:
	path: .github/link-cache.csv
	key: link-cache-${{ github.run_id }}
	restore-keys: \|
	link-cache-

	- name: Check links
	run: \|
	python .github/scripts/check_links.py \
	--docs-dir docs/ \
	--cache-file .github/link-cache.csv \
	--ttl-days 30 \
	--jitter-days 7 \
	--links-per-domain 10 \
	--verbose

Navigation Menu