gap-packages / primgrp

GAP Primitive Groups Library

https://gap-packages.github.io/primgrp/

GNU General Public License v2.0

2 stars 5 forks source link

Use AutoDoc to generate package manual #50

Closed fingolfin closed 1 year ago

codecov[bot] commented 1 year ago

Codecov Report

Merging #50 (cd61a70) into master (453b8b9) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #50   +/-   ##
=======================================
  Coverage   99.92%   99.92%           
=======================================
  Files          46       46           
  Lines      382939   382939           
=======================================
  Hits       382634   382634           
  Misses        305      305