gap-packages / io

GAP package IO to do input and output

https://gap-packages.github.io/io/

Other

14 stars 14 forks source link

Update Travis integration #79

Closed fingolfin closed 5 years ago

fingolfin commented 5 years ago

Update Travis integration to use scripts from a central repository. This allows us to apply fixes and improvements to these scripts for all packages, and also removes some clutter from package repositories.

codecov[bot] commented 5 years ago

Codecov Report

Merging #79 into master will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #79   +/-   ##
=======================================
  Coverage   52.24%   52.24%           
=======================================
  Files          13       13           
  Lines        4816     4816           
=======================================
  Hits         2516     2516           
  Misses       2300     2300