Update Travis integration

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.
gap-packages · Feb 6, 2019 · a36482e · a36482e
1 parent 37ec813
commit a36482e
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 142 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -40,6 +40,7 @@ branches:
 
 before_script:
   - export GAPROOT="$HOME/gap"
+  - git clone https://github.com/gap-system/pkg-ci-scripts.git scripts
   - scripts/build_gap.sh
 script:
   - scripts/build_pkg.sh && scripts/run_tests.sh

diff --git a/scripts/build_gap.sh b/scripts/build_gap.sh
diff --git a/scripts/build_pkg.sh b/scripts/build_pkg.sh
diff --git a/scripts/gather-coverage.sh b/scripts/gather-coverage.sh
diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh