Closed fingolfin closed 5 years ago
Merging #19 into master will not change coverage. The diff coverage is
n/a
.
@@ Coverage Diff @@
## master #19 +/- ##
=======================================
Coverage 79.96% 79.96%
=======================================
Files 24 24
Lines 2496 2496
=======================================
Hits 1996 1996
Misses 500 500
I have already done this in https://github.com/gap-packages/walrus/commit/19d3d0701b03c86a968016e9c3975c5b7a92daae
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.