From accc9fa1f5689d1bf57d3024c4ad293fd10f3617 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 11:47:16 -0700
Subject: Make Coq 8.5 the default target for Fiat-Crypto

Instructions for 8.4 build in the README
---
 .travis.yml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index b4d747d6a..1092e385a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,12 +5,8 @@ dist: trusty
 
 env:
   matrix:
-    - COQ_VERSION="8.4"  COQPRIME="coqprime"
-    - COQ_VERSION="8.5"  COQPRIME="coqprime-8.5"
-
-matrix:
-  allow_failures:
-    - env: COQ_VERSION="8.5"  COQPRIME="coqprime-8.5"
+    - COQ_VERSION="8.4"  COQPRIME="coqprime-8.4"
+    - COQ_VERSION="8.5"  COQPRIME="coqprime"
 
 before_install:
   - if [ "$COQ_VERSION" == "8.5" ]; then sudo add-apt-repository ppa:jgross-h/coq-backports -y; fi
-- 
cgit v1.2.3