03b452e · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Version of stack used for the style check was bumped.

commit03b452e5b78478575648ccefc112efe4bfc29465 authorDenis Buzdalov <public@buzden.ru> dateTue 19 Nov 2019, 14:53 (7 years ago) parentf3cff28

1 file changed+2−2

unifiedsplit

.travis.yml+2−2

@@ -9,8 +9,8 @@ env:

1010matrix:

1111 include:

12− - env: CABALVER="2.2" GHCVER="8.4.1" STACKVER="7.14" STYLISH=YES

13− addons: {apt: {packages: [cabal-install-2.2,ghc-8.4.1,hscolour], sources: [hvr-ghc]}}

12+ - env: CABALVER="2.2" GHCVER="8.6.5" STACKVER="14.15" STYLISH=YES

13+ addons: {apt: {packages: [cabal-install-2.2,ghc-8.6.5,hscolour], sources: [hvr-ghc]}}

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]}}