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

Update CI config #27

Closed fingolfin closed 8 months ago

codecov[bot] commented 8 months ago

Codecov Report

Merging #27 (ca28382) into master (27c1e00) will not change coverage. The diff coverage is n/a.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #27 +/- ## ======================================= Coverage 84.82% 84.82% ======================================= Files 13 13 Lines 3348 3348 ======================================= Hits 2840 2840 Misses 508 508 ```