external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Make patch target 75% 

If a patch has very bad coverage, reject it.
pull/1035/head
Jason Petersen 2016-12-09 12:10:14 -07:00
parent 5bd07b253a
commit 14f4dfb242
No known key found for this signature in database
GPG Key ID: 9F1D3510D110ABA9
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.codecov.yml
View File

@ -12,7 +12,9 @@ coverage:
default: default:
target: 80 target: 80
threshold: 0.5 threshold: 0.5
patch: yes patch:
default:
target: 75
changes: no changes: no
parsers: parsers: