homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

Various build system tweaks #40

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Perhaps you could make a new release of the package, too?

codecov[bot] commented 2 years ago

Codecov Report

Merging #40 (c20450c) into master (c3c2dbf) will not change coverage. The diff coverage is n/a.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #40 +/- ## ======================================= Coverage 89.59% 89.59% ======================================= Files 5 5 Lines 913 913 Branches 23 23 ======================================= Hits 818 818 Misses 91 91 Partials 4 4 ```
kamalsaleh commented 2 years ago

Thank you, merged and released!