Lint

Include ci/ in coverage source for 100% requirement (#3131) #7751

Job	Run time
build (3.13, windows-latest, manual)	1m 52s
build (3.13, windows-latest, pre-push)	7m 2s
build (3.13, ubuntu-latest, pre-push)	6m 27s
build (3.13, ubuntu-latest, manual)	58s
build (3.13, ubuntu-latest, pre-commit)	1m 6s
build (3.13, windows-latest, pre-commit)	2m 5s
completion-lint	3s
	19m 33s

Provide feedback