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

PackageInfo.g: remove obsolete Autoload flag #70

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

This flag is (and always was) ignored by GAP and having it here is potentially misleading

codecov[bot] commented 2 years ago

Codecov Report

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

@@           Coverage Diff           @@
##           master      #70   +/-   ##
=======================================
  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: