search

gap-packages / sotgrps

https://gap-packages.github.io/sotgrps/
GNU General Public License v2.0
2 stars 1 forks source link

Remove workaround for discrepancies in testIdSOTGroup #53

Closed fingolfin closed 12 months ago

codecov[bot] commented 12 months ago

Codecov Report

Merging #53 (2779fa4) into master (7084712) will increase coverage by 0.00%. Report is 2 commits behind head on master. The diff coverage is 96.55%.

@@           Coverage Diff           @@
##           master      #53   +/-   ##
=======================================
  Coverage   98.35%   98.36%           
=======================================
  Files          21       21           
  Lines        7727     7744   +17     
=======================================
+ Hits         7600     7617   +17     
  Misses        127      127
Files Changed Coverage Δ
tst/test.gi 87.41% <96.55%> (+1.69%) :arrow_up: