Lint

[codex] Upload Windows coverage data #7878

Job	Run time
build (3.14, ubuntu-latest, pre-push)	5m 55s
build (3.14, ubuntu-latest, pre-commit)	59s
build (3.14, ubuntu-latest, manual)	1m 3s
build (3.14, windows-latest, manual)	1m 44s
build (3.14, windows-latest, pre-push)	7m 58s
build (3.14, windows-latest, pre-commit)	2m 33s
completion-lint	4s
	20m 16s

Provide feedback