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

Remove src/leon/autom4te.cache from release tarballs #72

Closed fingolfin closed 2 years ago

codecov[bot] commented 2 years ago

Codecov Report

Merging #72 (3baf9c0) into master (41bf2ca) will increase coverage by 0.00%. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #72   +/-   ##
=======================================
  Coverage   49.36%   49.37%           
=======================================
  Files          44       44           
  Lines       14666    14666           
  Branches      203      203           
=======================================
+ Hits         7240     7241    +1     
+ Misses       7426     7425    -1
Impacted Files Coverage Δ
lib/codeman.gi 27.58% <0.00%> (+0.06%) :arrow_up: