Merge pull request #2680 from robintown/disable-codecov-annotations

Disable Codecov annotations
This commit is contained in:
Robin 2024-10-18 17:01:48 -04:00 committed by GitHub
commit bfe6da6be7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,6 +1,10 @@
# Don't post comments on PRs; they're noisy and the same information can be # Don't post comments on PRs; they're noisy and the same information can be
# gotten through the checks section at the bottom of the PR anyways # gotten through the checks section at the bottom of the PR anyways
comment: false comment: false
github_checks:
# Don't mark up the diffs on PRs with warnings about untested lines; we're not
# aiming for 100% test coverage and they just get in the way of reviewing
annotations: false
coverage: coverage:
status: status:
project: project: