diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-20 23:32:41 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-20 23:32:41 +0200 |
| commit | 9339517a2bd1c16c1d11e66d9c754f0ef702f99a (patch) | |
| tree | 95e5317ea2df5ab6dc866aa650d1859bf8c43b2c | |
| parent | ef16b9f8f73e6a4d639919152925ab83d9b1024f (diff) | |
Drop GHC HEAD from CI and update GHC to 8.4.3
It's a waste of resource to even try to build this branch w/ ghc-head;
so let's not do that...
| -rw-r--r-- | .travis.yml | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/.travis.yml b/.travis.yml index 39135739..e3e6cd62 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,15 +26,9 @@ before_cache: matrix: include: - - compiler: "ghc-8.4.2" + - compiler: "ghc-8.4.3" # env: TEST=--disable-tests BENCH=--disable-benchmarks - addons: {apt: {packages: [ghc-ppa-tools,cabal-install-head,ghc-8.4.2], sources: [hvr-ghc]}} - - compiler: "ghc-head" - # env: TEST=--disable-tests BENCH=--disable-benchmarks - addons: {apt: {packages: [ghc-ppa-tools,cabal-install-head,ghc-head], sources: [hvr-ghc]}} - - allow_failures: - - compiler: "ghc-head" + addons: {apt: {packages: [ghc-ppa-tools,cabal-install-head,ghc-8.4.3], sources: [hvr-ghc]}} before_install: - HC=${CC} |