git.iko.soy/Idris-dev
on master help sign in
Travis tweaking

Reduce the number of Travis targets, it increased as GHC 8 was added and we don't need full coverage on old compilers. Keep GHC 7.6 as it's still used in current distros (Debian). Use the latest point release of 7.10, 7.10.3

commitbb85787b1fd3a4c2a35c2d2fdd2f78e2b0587c38 authorNiklas Larsson <niklas@mm.st> dateSat 9 Jul 2016, 13:13 (10 years ago) parent0f25f65
1 file changed+7−11
compare with master
unifiedsplit
.travis.yml+7−11
.travis.yml+7−11
@@ -9,7 +9,7 @@ addons:
99 packages:
1010 - ghc-7.6.3
1111 - ghc-7.8.4
12− - ghc-7.10.2
12+ - ghc-7.10.3
1313 - ghc-8.0.1
1414 - cabal-install-1.20
1515 - cabal-install-1.22
@@ -25,18 +25,14 @@ matrix:
2525 # separate caches for different compiler versions
2626 # until https://github.com/travis-ci/travis-ci/issues/4393 is resolved
2727 compiler: ": #GHC 7.6.3"
28− - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="lib_doc doc"
29− compiler: ": #GHC 7.8.4"
30− - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="test_js"
31− compiler: ": #GHC 7.8.4"
3228 - env: CABALVER="1.20" GHCVER="7.8.4" TESTS="test_c"
3329 compiler: ": #GHC 7.8.4"
34− - env: CABALVER="1.22" GHCVER="7.10.2" TESTS="lib_doc doc"
35− compiler: ": #GHC 7.10.2"
36− - env: CABALVER="1.22" GHCVER="7.10.2" TESTS="test_js"
37− compiler: ": #GHC 7.10.2"
38− - env: CABALVER="1.22" GHCVER="7.10.2" TESTS="test_c"
39− compiler: ": #GHC 7.10.2"
30+ - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="lib_doc doc"
31+ compiler: ": #GHC 7.10.3"
32+ - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_js"
33+ compiler: ": #GHC 7.10.3"
34+ - env: CABALVER="1.22" GHCVER="7.10.3" TESTS="test_c"
35+ compiler: ": #GHC 7.10.3"
4036 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="lib_doc doc"
4137 compiler: ": #GHC 8.0.1"
4238 - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_js"