2020-03-05 14:41:54 -07:00
|
|
|
{
|
2020-03-06 08:45:12 -07:00
|
|
|
"coverage_options": {
|
2020-03-05 14:41:54 -07:00
|
|
|
"treat_no_relevant_lines_as_covered": true,
|
2020-03-10 14:35:00 -06:00
|
|
|
"minimum_coverage": 6.5
|
2020-03-05 14:41:54 -07:00
|
|
|
}
|
2020-03-06 08:45:12 -07:00
|
|
|
}
|