Lint

Enable coverage report.show_missing #7213

Job	Run time
build (3.13, ubuntu-latest, pre-commit)	2m 3s
build (3.13, ubuntu-latest, manual)	1m 14s
build (3.13, windows-latest, manual)	1m 32s
build (3.13, windows-latest, pre-push)	2m 8s
build (3.13, windows-latest, pre-commit)	1m 47s
build (3.13, ubuntu-latest, pre-push)	2m 2s
completion-lint	3s
	10m 49s

Provide feedback