Closed fingolfin closed 3 years ago
Merging #16 into master will decrease coverage by
<.01%
. The diff coverage is100%
.
@@ Coverage Diff @@
## master #16 +/- ##
==========================================
- Coverage 94.31% 94.31% -0.01%
==========================================
Files 23 23
Lines 7563 7561 -2
==========================================
- Hits 7133 7131 -2
Misses 430 430
Impacted Files | Coverage Δ | |
---|---|---|
grp/spacegrp.gd | 100% <ø> (ø) |
:arrow_up: |
grp/spacegrp.grp | 100% <100%> (ø) |
:arrow_up: |
Instead just use BindGlobal. For motivation of this change, please see https://github.com/gap-system/gap/pull/3857