search

homalg-project / CddInterface

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

Include compiled.h instead of src/compiled.h #37

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

This will help in the future with GAP packages for Linux distros

codecov[bot] commented 1 year ago

Codecov Report

Merging #37 (ea3ca13) into master (f12149a) will not change coverage. The diff coverage is n/a.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #37 +/- ## ======================================= Coverage 89.59% 89.59% ======================================= Files 5 5 Lines 913 913 Branches 23 23 ======================================= Hits 818 818 Misses 91 91 Partials 4 4 ``` | [Impacted Files](https://codecov.io/gh/homalg-project/CddInterface/pull/37?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project) | Coverage Δ | | |---|---|---| | [src/CddInterface.c](https://codecov.io/gh/homalg-project/CddInterface/pull/37/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project#diff-c3JjL0NkZEludGVyZmFjZS5j) | `93.98% <ø> (ø)` | |