Lint

[codex] Upload Windows coverage data #7875

Job	Run time
build (3.14, ubuntu-latest, manual)	56s
build (3.14, windows-latest, pre-push)	7m 58s
build (3.14, ubuntu-latest, pre-commit)	1m 2s
build (3.14, windows-latest, pre-commit)	2m 0s
build (3.14, windows-latest, manual)	1m 50s
build (3.14, ubuntu-latest, pre-push)	6m 11s
completion-lint	3s
	20m 0s

Provide feedback