From 9339517a2bd1c16c1d11e66d9c754f0ef702f99a Mon Sep 17 00:00:00 2001
From: Herbert Valerio Riedel <hvr@gnu.org>
Date: Wed, 20 Jun 2018 23:32:41 +0200
Subject: 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...
---
 .travis.yml | 10 ++--------
 1 file 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}
-- 
cgit v1.2.3