Closed olexandr-konovalov closed 4 years ago
Merging #26 into master will decrease coverage by
0.25%
. The diff coverage is100%
.
@@ Coverage Diff @@
## master #26 +/- ##
==========================================
- Coverage 44.24% 43.99% -0.26%
==========================================
Files 2 2
Lines 443 441 -2
==========================================
- Hits 196 194 -2
Misses 247 247
Impacted Files | Coverage Δ | |
---|---|---|
gap/zmq.g | 63.52% <100%> (-0.84%) |
:arrow_down: |
Needs to be squashed now...
Let's release this tomorrow, to mark a year since 0.11 release :)
This is needed because SynchronizationFamily is defined in GAP in
lib/hpc/thread.g
.I have checked that it's not used elsewhere, so renaming should be harmless.