Closed fingolfin closed 1 year ago
Merging #91 (609a7dd) into master (d0e15c7) will decrease coverage by
0.01%
. The diff coverage is100.00%
.
@@ Coverage Diff @@
## master #91 +/- ##
==========================================
- Coverage 60.22% 60.21% -0.01%
==========================================
Files 74 74
Lines 22542 22541 -1
==========================================
- Hits 13575 13574 -1
Misses 8967 8967
Files Changed | Coverage Δ | |
---|---|---|
lib/inflist.gd | 100.00% <ø> (ø) |
|
lib/inflist.gi | 68.93% <100.00%> (ø) |
See https://github.com/gap-system/gap/issues/1637 for some background.