fingolfin commented 6 years ago

For Codecov, actually enable status messages in pull requests (so far, all were turned off, but for some reason codecov ignores this; still, better to specify actual intent in the file).

For Travis, adapt scripts/build_pkg.sh to work with packages not using autoconf, so that we can use the same script across many packages. Also don't copy the tested package into GAP's pkg dir; instead, put it into its own GAP root which we tell GAP to look at before its usual GAP root.

Modify scripts/gather-coverage.sh and scripts/run_tests.sh to use this modified list of GAP root dirs

Simplify scripts/build_gap.sh significantly by using BuildPackages.sh.

For some packages, also temporarily disable builds against GAP's stable branch. This is because its BuildPackages.sh does not support building individual packages. This will be resolved with the stable-4.9 branch.

codecov[bot] commented 6 years ago

Codecov Report

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

@@           Coverage Diff           @@
##           master      #13   +/-   ##
=======================================
  Coverage   44.66%   44.66%           
=======================================
  Files           2        2           
  Lines         665      665           
=======================================
  Hits          297      297           
  Misses        368      368

olexandr-konovalov commented 6 years ago

@fingolfin can you update this with the fix from https://github.com/gap-packages/example/pull/15/commits/2e3cda6be7df0cf0080494a22d81bcd3f302a486 please?

olexandr-konovalov commented 6 years ago

@fingolfin I will update setup myself.

gap-packages / primgrp

Overhaul Travis & Codecov setup #13

Codecov Report