Lint

chore(deps-dev): Bump sphinx-toolbox from 4.2.0rc1 to 4.2.0 (#3200) #7932

Job	Run time
build (3.14, ubuntu-latest, pre-push)	5m 26s
build (3.14, windows-latest, pre-commit)	3m 31s
build (3.14, windows-latest, manual)	2m 56s
build (3.14, ubuntu-latest, manual)	58s
build (3.14, windows-latest, pre-push)	8m 32s
build (3.14, ubuntu-latest, pre-commit)	1m 9s
completion-lint	3s
	22m 35s

Provide feedback