Merge pull request #1142 from davidhewitt/reduce-coverage-noise

Allow tiny coverage drop in PR to reduce "failure" noise
This commit is contained in:
Yuji Kanagawa 2020-09-02 23:57:58 +09:00 committed by GitHub
commit 1b2095140d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions

View File

@ -1,2 +1,9 @@
comment: off
coverage:
status:
project:
default:
target: auto
# Allow a tiny drop of overall project coverage in PR to reduce spurious failures.
threshold: 0.25%