Closed fingolfin closed 2 years ago
Merging #321 (1070415) into master (7e5b827) will not change coverage. The diff coverage is
60.00%
.
@@ Coverage Diff @@
## master #321 +/- ##
=======================================
Coverage 78.59% 78.59%
=======================================
Files 43 43
Lines 18459 18459
=======================================
Hits 14508 14508
Misses 3951 3951
Impacted Files | Coverage Δ | |
---|---|---|
gap/projective/almostsimple.gi | 65.84% <0.00%> (ø) |
|
gap/base/recognition.gi | 68.92% <50.00%> (ø) |
|
gap/base/recognition.gd | 100.00% <100.00%> (ø) |
|
gap/generic/KnownNilpotent.gi | 97.18% <100.00%> (ø) |
... to avoid clashes with tons of existing code