search

gap-packages / sotgrps

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

Ensure SOTGrps works right if loaded with 'OnlyNeeded' option; and some other tweaks #47

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

Work in progress, please do not yet merge

codecov[bot] commented 1 year ago

Codecov Report

Merging #47 (741d13c) into master (493442b) will increase coverage by 0.00%. The diff coverage is 78.57%.

@@           Coverage Diff           @@
##           master      #47   +/-   ##
=======================================
  Coverage   98.09%   98.09%           
=======================================
  Files          21       21           
  Lines        7697     7701    +4     
=======================================
+ Hits         7550     7554    +4     
  Misses        147      147
Impacted Files Coverage Δ
gap/SOTGrps.gd 100.00% <ø> (ø)
gap/SOTGrps.gi 85.88% <70.00%> (+0.34%) :arrow_up:
PackageInfo.g 100.00% <100.00%> (ø)
gap/sot.gi 89.71% <100.00%> (ø)