Lint

[codex] Upload Windows coverage data (#3174) #7879

Job	Run time
build (3.14, windows-latest, manual)	1m 40s
build (3.14, ubuntu-latest, pre-commit)	59s
build (3.14, windows-latest, pre-commit)	2m 2s
build (3.14, windows-latest, pre-push)	9m 57s
build (3.14, ubuntu-latest, pre-push)	5m 59s
build (3.14, ubuntu-latest, manual)	57s
completion-lint	2s
	21m 36s

Provide feedback