Lint

[codex] Upload Windows coverage data #7877

Job	Run time
build (3.14, ubuntu-latest, pre-push)	6m 46s
build (3.14, windows-latest, pre-commit)	1m 54s
build (3.14, windows-latest, pre-push)	8m 44s
build (3.14, ubuntu-latest, manual)	52s
build (3.14, ubuntu-latest, pre-commit)	55s
build (3.14, windows-latest, manual)	1m 44s
completion-lint	3s
	20m 58s

Provide feedback