Lint

[codex] Upload Windows coverage data #7876

Job	Run time
build (3.14, windows-latest, manual)	1m 8s
build (3.14, ubuntu-latest, manual)	34s
build (3.14, windows-latest, pre-commit)	1m 8s
build (3.14, windows-latest, pre-push)	1m 11s
build (3.14, ubuntu-latest, pre-push)	1m 5s
build (3.14, ubuntu-latest, pre-commit)	58s
completion-lint	2s
	6m 6s

Provide feedback