gap-packages / FactInt

FactInt -- Advanced Methods for [Fact]oring [Int]egers

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

GNU General Public License v2.0

4 stars 4 forks source link

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

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

:exclamation: No coverage uploaded for pull request base (master@5dbf732). Click here to learn what that means. The diff coverage is n/a.

@@            Coverage Diff            @@
##             master      #25   +/-   ##
=========================================
  Coverage          ?   99.64%           
=========================================
  Files             ?       22           
  Lines             ?    47013           
  Branches          ?        0           
=========================================
  Hits              ?    46845           
  Misses            ?      168           
  Partials          ?        0