gap-packages / grape

GRaph Algorithms using PErmutation groups

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

5 stars 7 forks source link

Update Travis integration #7

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 #7 into master will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master       #7   +/-   ##
=======================================
  Coverage   58.39%   58.39%           
=======================================
  Files           9        9           
  Lines        6329     6329           
=======================================
  Hits         3696     3696           
  Misses       2633     2633