Increase coverage report precision
It sets the number of digits after the decimal point to display for reported coverage percentages. The default is 0, displaying for example "87%". A value of 3 will display percentages like "87.325%". Change-Id: I0313e9d7bead4a229f03cec6f603709502757394
This commit is contained in:
parent
8b444687c5
commit
a7f7c2cee1
@ -11,3 +11,4 @@ source = sahara
|
||||
|
||||
[report]
|
||||
ignore-errors = True
|
||||
precision = 3
|
||||
|
Loading…
Reference in New Issue
Block a user