git.iko.soy/Idris-dev
on master help sign in
Disable travis job that always times out
commit08506efc94942453852a509fb6f3ac51b39692d0 authorNiklas Larsson <niklas@mm.st> dateSun 16 Sep 2018, 17:28 (8 years ago) parent60c5b3e
1 file changed+4−3
compare with master
unifiedsplit
.travis.yml+4−3
.travis.yml+4−3
@@ -14,9 +14,10 @@ matrix:
1414 - env: CABALVER="2.2" GHCVER="7.10.3" TESTS="test_c"
1515 compiler: ": #GHC 7.10.3"
1616 addons: {apt: {packages: [cabal-install-2.2,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
17− - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_c"
18− compiler: ": #GHC 8.0.1"
19− addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
17+# Disabled because it's always timing out
18+# - env: CABALVER="1.24" GHCVER="8.0.1" TESTS="test_c"
19+# compiler: ": #GHC 8.0.1"
20+# addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.1,cppcheck,hscolour], sources: [hvr-ghc]}}
2021 - env: CABALVER="2.0" GHCVER="8.2.2" TESTS="lib_doc doc"
2122 compiler: ": #GHC 8.2.2"
2223 addons: {apt: {packages: [cabal-install-2.0,ghc-8.2.2,cppcheck,hscolour], sources: [hvr-ghc]}}