diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-21 22:30:45 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-06-21 22:32:15 +0200 |
| commit | f50684f5cd1c3dc316a3b2b76e07e06fb9ae6d55 (patch) | |
| tree | 5bbd01152779f6628269ddba7bfcb00f09e5e0f1 | |
| parent | 3266a962f7b6083b4b48cb66e70c62e3157df930 (diff) | |
Update CI job to use GHC 8.7.*
| -rw-r--r-- | .travis.yml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index 5f9b731d..1e1a989d 100644 --- a/.travis.yml +++ b/.travis.yml @@ -26,16 +26,10 @@ before_cache: matrix: include: - - compiler: "ghc-8.4.2" - # 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" - before_install: - HC=${CC} - unset CC |