Closed fingolfin closed 2 years ago
Merging #71 (4d6d2b4) into master (97e67fa) will increase coverage by 0.00%. The diff coverage is 0.00%.
0.00%
@@ Coverage Diff @@ ## master #71 +/- ## ======================================= Coverage 49.36% 49.37% ======================================= Files 44 44 Lines 14669 14668 -1 Branches 203 203 ======================================= Hits 7242 7242 + Misses 7427 7426 -1
44.87% <0.00%> (+0.02%)
ignoring a strange GAP 4.10-only error, for the time being
Codecov Report
44.87% <0.00%> (+0.02%)