git.iko.soy/Idris-dev
on master help sign in
Version of stack used for the style check was bumped.
03b452eDenis Buzdalov
.travis.yml+2−2
compare with master
unifiedsplit
@@ -9,8 +9,8 @@ env:
9
9
10matrix:
10matrix:
11 include:
11 include:
12− - env: CABALVER="2.2" GHCVER="8.4.1" STACKVER="7.14" STYLISH=YES
12+ - env: CABALVER="2.2" GHCVER="8.6.5" STACKVER="14.15" STYLISH=YES
13− addons: {apt: {packages: [cabal-install-2.2,ghc-8.4.1,hscolour], sources: [hvr-ghc]}}
13+ addons: {apt: {packages: [cabal-install-2.2,ghc-8.6.5,hscolour], sources: [hvr-ghc]}}
14 - env: CABALVER="2.2" GHCVER="7.10.3" TESTS="test_c"
14 - env: CABALVER="2.2" GHCVER="7.10.3" TESTS="test_c"
15 compiler: ": #GHC 7.10.3"
15 compiler: ": #GHC 7.10.3"
16 addons: {apt: {packages: [cabal-install-2.2,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}
16 addons: {apt: {packages: [cabal-install-2.2,ghc-7.10.3,cppcheck,hscolour], sources: [hvr-ghc]}}