Lint

chore(deps-dev): Bump sphinx-substitution-extensions from 2026.8.5 to 2026.8.13.1 #1821

Job	Run time
build (3.14, ubuntu-latest, pre-commit)	38s
build (3.14, ubuntu-latest, pre-push)	37s
build (3.14, ubuntu-latest, manual)	44s
build (3.14, windows-latest, pre-push)	2m 16s
build (3.14, windows-latest, pre-commit)	2m 16s
build (3.14, windows-latest, manual)	1m 49s
completion-lint	4s
	8m 24s

Navigation Menu