Open wilzbach opened 7 years ago
I also get other weird UI errors - like this one (the coverage did change)
coverage did change
This may be the case when overall coverage is equal and the diff does not affect the overall coverage. Ex.
# overall coverage before 50%
- this line was hit
+ this line was hit
- miss
- miss
- miss
+ miss
+ miss
+ miss
# diff coverage is 25%
# coverage after 50%. Diff 50%
from this PR https://github.com/dlang/phobos/pull/4647
It seems to be an UI error, maybe the overall coverage is only reported from the first file of the diff or there is some rounding involved?