Improve Coverage.py configuration#712

adamchainz merged 2 commits intomainpytest-dev/pytest-randomly:mainfrom

improve_coverage_configruationpytest-dev/pytest-randomly:improve_coverage_configruationCopy head branch name to clipboard