Lint

Lint #1434

Job	Run time
build (3.13, ubuntu-latest, pre-commit)	33s
build (3.13, windows-latest, pre-push)	2m 6s
build (3.13, windows-latest, pre-commit)	1m 20s
build (3.13, ubuntu-latest, pre-push)	1m 11s
build (3.13, windows-latest, manual)	1m 6s
build (3.13, ubuntu-latest, manual)	37s
completion-lint	4s
	6m 57s

Provide feedback