Lint

Lint #1764

Job	Run time
build (3.13, ubuntu-latest, manual)	4m 56s
build (3.13, ubuntu-latest, pre-commit)	37s
build (3.13, windows-latest, pre-commit)	1m 20s
build (3.13, windows-latest, manual)	1m 8s
build (3.13, ubuntu-latest, pre-push)	1m 10s
build (3.13, windows-latest, pre-push)	2m 43s
completion-lint	2s
	11m 56s

Provide feedback