Closed markuspf closed 4 years ago
Merging #29 into master will not change coverage. The diff coverage is
100%
.
@@ Coverage Diff @@
## master #29 +/- ##
=======================================
Coverage 90.88% 90.88%
=======================================
Files 22 22
Lines 2458 2458
=======================================
Hits 2234 2234
Misses 224 224
Impacted Files | Coverage Δ | |
---|---|---|
gap/examples.gi | 67.98% <100%> (ø) |
:arrow_up: |
The second relator was wrong.