search

homalg-project / CddInterface

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

Update CI setup #44

Closed fingolfin closed 2 months ago

fingolfin commented 2 months ago

Note that for code coverage reporting to really work, you need to set CODECOV_TOKEN in the GitHub repository or organization settings. See https://docs.codecov.com/docs/adding-the-codecov-token for instructions.

Without it, it will remain broken as it is right now.

codecov[bot] commented 2 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 89.43%. Comparing base (6e58713) to head (413e3cf). Report is 5 commits behind head on master.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #44 +/- ## ========================================== - Coverage 89.90% 89.43% -0.48% ========================================== Files 5 5 Lines 941 899 -42 Branches 30 30 ========================================== - Hits 846 804 -42 Misses 91 91 Partials 4 4 ``` [see 2 files with indirect coverage changes](https://app.codecov.io/gh/homalg-project/CddInterface/pull/44/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=homalg-project)