You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Looking at the my file coverage percentage and comparing it to the actual individual file coverage I believe the result does not reflect the reality. At least not my interpretation of "a file is covered".
Empty files should be considered covered: 0 / 0 correctly gives 100% file coverage but seem to count as an uncovered file
Non-empty zero-coverage files should be considered uncovered: 0 / N correctly gives a 0% file coverage but seems to count as a covered file
Activity