Closed fingolfin closed 6 years ago
Merging #37 into master will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #37 +/- ##
=======================================
Coverage 74.84% 74.84%
=======================================
Files 8 8
Lines 3729 3729
=======================================
Hits 2791 2791
Misses 938 938
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.