gap-packages / recog

The GAP package recog to collect methods for constructive recognition

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

GNU General Public License v3.0

6 stars 14 forks source link

CI: Ensure code coverage reporting will work in February 2022 and beyond #309

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

See https://github.com/gap-actions/process-coverage/issues/10

codecov[bot] commented 2 years ago

Codecov Report

Merging #309 (cd465e8) into master (4349d80) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #309   +/-   ##
=======================================
  Coverage   78.60%   78.60%           
=======================================
  Files          43       43           
  Lines       18454    18454           
=======================================
  Hits        14506    14506           
  Misses       3948     3948

ssiccha commented 2 years ago

Building the manuals errors with:

Error, a different version of recog was already loaded or you started GAP in the wrong directory;
try `gap -A regen_doc.g` or `gap -A makedoc.g` called from