Lint

Lint #1732

Job	Run time
build (3.13, ubuntu-latest, manual)	38s
build (3.13, ubuntu-latest, pre-push)	1m 4s
build (3.13, windows-latest, pre-push)	1m 47s
build (3.13, windows-latest, pre-commit)	1m 44s
build (3.13, windows-latest, manual)	1m 20s
build (3.13, ubuntu-latest, pre-commit)	38s
completion-lint	3s
	7m 14s

Provide feedback