1 files changed, 0 insertions, 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: