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

Show homepage & issue tracker URL in package banner #85

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Resolve #66

codecov[bot] commented 2 years ago

Codecov Report

Merging #85 (24213b0) into master (2e8734b) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #85   +/-   ##
=======================================
  Coverage   49.37%   49.37%           
=======================================
  Files          44       44           
  Lines       14668    14668           
  Branches      203      203           
=======================================
  Hits         7242     7242           
  Misses       7426     7426

fingolfin commented 2 years ago

@osj1961 does this look OK to you? what about the other PRs?

A new release would also be nice to have :-)