From ab229495409e3d569978e7c3067810c717f8fe49 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 30 May 2019 16:45:33 +0200
Subject: [PATCH] fix gitlab-ci.yml

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 50a0e282fe..e52c8bdaea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ pages:
     - public
   only:
   - master
-  allow_fail: true
+  allow_failure: true
 
 ctest:
   stage: build
-- 
2.20.1