2024-08-27 21:45:39 +08:00
|
|
|
# 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
|
|
|
|
comment: false
|
2024-10-19 04:39:02 +08:00
|
|
|
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
|
2024-08-27 21:45:39 +08:00
|
|
|
coverage:
|
|
|
|
status:
|
|
|
|
project:
|
|
|
|
default:
|
|
|
|
# Track the impact of changes on overall coverage without blocking PRs
|
|
|
|
informational: true
|
|
|
|
patch:
|
|
|
|
default:
|
2024-09-04 04:03:43 +08:00
|
|
|
# Encourage (but don't enforce) 80% coverage on all lines that a PR
|
|
|
|
# touches
|
2024-08-27 21:45:39 +08:00
|
|
|
target: 80%
|
2024-09-04 04:03:43 +08:00
|
|
|
informational: true
|