gap-packages / grape

GRaph Algorithms using PErmutation groups

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

5 stars 7 forks source link

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

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 #31 (0fde28b) into master (ba751ef) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #31   +/-   ##
=======================================
  Coverage   80.08%   80.08%           
=======================================
  Files           2        2           
  Lines        3857     3857           
=======================================
  Hits         3089     3089           
  Misses        768      768