From e710306910afc61c9a874e6020bbf35b77ffe4af Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 15 Jun 2017 11:51:11 +0200
Subject: Move Fiat to allowed failures.

For now, Fiat still relies on 8.4 compatibility.
---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 224dfe2f57..e7082a9eeb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -64,6 +64,7 @@ matrix:
   allow_failures:
   - env: TEST_TARGET="ci-coq-dpdgraph" EXTRA_OPAM="ocamlgraph"
   - env: TEST_TARGET="ci-geocoq"
+  - env: TEST_TARGET="ci-fiat-parsers"
 
   include:
     # Full Coq test-suite with two compilers
-- 
cgit v1.2.3