Coverage did not change is reported even though it changed

[wilzbach]

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?

[wilzbach]

I also get other weird UI errors - like this one (the coverage did change)

https://github.com/dlang/phobos/pull/4680/files

[stevepeak]

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%

[jammyto10]

#+