Closed ssiccha closed 3 years ago
Merging #201 (7acac80) into master (a413633) will increase coverage by
0.00%
. The diff coverage is33.33%
.
@@ Coverage Diff @@
## master #201 +/- ##
=======================================
Coverage 76.35% 76.36%
=======================================
Files 37 37
Lines 17193 17190 -3
=======================================
- Hits 13128 13127 -1
+ Misses 4065 4063 -2
Impacted Files | Coverage Δ | |
---|---|---|
gap/matrix/slconstr.gi | 5.91% <0.00%> (+<0.01%) |
:arrow_up: |
gap/perm/giant.gi | 90.31% <100.00%> (-0.03%) |
:arrow_down: |
This looks good now, but let's first get the CI working again before we merge other things.