homalg-project / CddInterface

Gap Interface to Cdd

https://homalg-project.github.io/CddInterface

Other

1 stars 5 forks source link

Update CI configuration #39

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

also test against GAP 4.12
update to latest versions for various actions
error out if documentation job failed to produce a PDF

codecov[bot] commented 2 years ago

Codecov Report

Merging #39 (7787479) into master (298d0bc) will not change coverage. The diff coverage is n/a.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## master #39 +/- ## ======================================= 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, Max.