search

gap-packages / smallsemi

A library of small semigroups
https://gap-packages.github.io/smallsemi/
GNU General Public License v3.0
3 stars 3 forks source link

Revert removal of SmallsemiMakeDoc #8

Closed james-d-mitchell closed 5 years ago

codecov[bot] commented 5 years ago

Codecov Report

Merging #8 into master will decrease coverage by 0.13%. The diff coverage is 33.33%.

@@            Coverage Diff             @@
##           master       #8      +/-   ##
==========================================
- Coverage   83.41%   83.27%   -0.14%     
==========================================
  Files          13       13              
  Lines        3352     3361       +9     
==========================================
+ Hits         2796     2799       +3     
- Misses        556      562       +6
Impacted Files Coverage Δ
gap/utils.gd 100% <100%> (ø) :arrow_up:
gap/utils.gi 20.58% <25%> (+1.35%) :arrow_up:
fingolfin commented 5 years ago

Just out of curiosity, what's the motivation for this?