Lint

chore(deps-dev): Bump coverage from 7.14.3 to 7.15.0 #8055

Job	Run time
build (3.14, windows-latest, pre-commit)	3m 14s
build (3.14, ubuntu-latest, pre-push)	3m 14s
build (3.14, ubuntu-latest, pre-commit)	1m 1s
build (3.14, windows-latest, manual)	2m 53s
build (3.14, ubuntu-latest, manual)	58s
build (3.14, windows-latest, pre-push)	5m 46s
completion-lint	2s
	17m 8s

Provide feedback