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-06 08:45:12 -07:00
|
|
|
"minimum_coverage": 39
|
2020-03-05 14:41:54 -07:00
|
|
|
}
|
2020-03-06 08:45:12 -07:00
|
|
|
}
|