git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4780 from buzden/stylish-stack-bump

An attempt to fix recently failing travis CI build job

commitf5e68ee11d211eb0e9e8afe8849208c20ed693a0 authorNiklas Larsson <metaniklas@gmail.com> dateTue 19 Nov 2019, 19:07 (7 years ago) parentf3cff285e74cd7
2 files changed+3−3
compare with master
unifiedsplit
.travis.yml+2−2 stack.yaml+1−1
.travis.yml+2−2
@@ -9,8 +9,8 @@ env:
99
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.4" GHCVER="8.6.5" STACKVER="14.15" STYLISH=YES
13+ addons: {apt: {packages: [cabal-install-2.4,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]}}
stack.yaml+1−1
@@ -3,13 +3,13 @@ resolver: lts-13.21
33
44extra-deps:
55 - network-2.8.0.0@sha256:aae171e6c6028a7791dbe4de5b9d2da398056359e3cc7927465ffa3cdae1aa0b
6− - Cabal-2.2.0.1@sha256:2a80d8fb655474f0eaeb20434c47f64f84e6302e55973056f00df8ca050b9683
76 - megaparsec-7.0.4
87 - parser-combinators-1.0.0
98 - zip-archive-0.3.3@sha256:47cf2d66cc8e237f7226837758e1b041e24048ef3820d3d10276c500edb921bf
109 - containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
1110 - tasty-rerun-1.1.14@sha256:ba9c19a281535bea566e1044bc02c36ef17abcb310af4b6a149ec11780c7ce35
1211 - binary-0.8.7.0@sha256:ae3e6cca723ac55c54bbb3fa771bcf18142bc727afd57818e66d6ee6c8044f12
12+ - text-1.2.4.0@sha256:8c24450feb8e3bbb7ea3e17af24ef57e85db077c4bf53e5bcc345b283d1b1d5b
1313
1414flags:
1515 idris: