search

gap-packages / guava

GAP package guava - computations relative to error-correcting codes
https://gap-packages.github.io/guava
Other
13 stars 7 forks source link

Fix CI #63

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Please do not merge this unless the CI actually passes. If it doesn't, I'll iterate on this.

fingolfin commented 2 years ago

Ohhh no, that was wrong -- and now I think I really understand the problem... it's a bug in https://github.com/gap-actions/build-pkg which I'll fix there ASAP

fingolfin commented 2 years ago

@osj1961 this is ready now.

codecov[bot] commented 2 years ago

Codecov Report

Merging #63 (1411817) into master (edf93c9) will not change coverage. The diff coverage is n/a.

:exclamation: Current head 1411817 differs from pull request most recent head ceb017f. Consider uploading reports for the commit ceb017f to get more accurate results

@@           Coverage Diff           @@
##           master      #63   +/-   ##
=======================================
  Coverage   49.38%   49.38%           
=======================================
  Files          44       44           
  Lines       14663    14663           
  Branches      202      202           
=======================================
  Hits         7241     7241           
  Misses       7422     7422
osj1961 commented 2 years ago

Thanks!