From 0fe3775278112621f1c9cbf76282a20f48bec8d1 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 3 Oct 2017 14:05:47 +0200
Subject: Remove GeoCoq from allowed failures.

---
 .travis.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 6c926aacbd..8d85ffc68a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -62,9 +62,6 @@ env:
 
 matrix:
 
-  allow_failures:
-  - env: TEST_TARGET="ci-geocoq TIMED=1"
-
   include:
     # Full Coq test-suite with two compilers
     - env:
-- 
cgit v1.2.3