Repository navigation

Lint

chore(deps-dev): Bump sphinx-substitution-extensions from 2026.8.13.1 to 2026.10.9 #2137

Job	Run time
build (3.14, windows-latest, pre-commit)	2m 23s
build (3.14, ubuntu-latest, pre-commit)	45s
build (3.14, ubuntu-latest, manual)	46s
build (3.14, ubuntu-latest, pre-push)	53s
build (3.14, windows-latest, manual)	2m 14s
build (3.14, windows-latest, pre-push)	2m 19s
completion-lint	3s
	9m 23s