Lint

Lint #1677

Job	Run time
build (3.13, windows-latest, pre-commit)	1m 28s
build (3.13, ubuntu-latest, pre-push)	47s
build (3.13, ubuntu-latest, pre-commit)	40s
build (3.13, windows-latest, manual)	1m 10s
build (3.13, ubuntu-latest, manual)	41s
build (3.13, windows-latest, pre-push)	1m 48s
completion-lint	4s
	6m 38s

Provide feedback