From d708e7d72bad9d1e30bae663d1eeb9da47cf28d7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Mon, 23 Sep 2019 13:34:18 +0200
Subject: Mark SF as allow failure until it gets fixed.

Failing CI is BAD.  #10476 should not have been merged without a
solution for SF being found, or the test being marked temporarily as
allow failure.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b53f6e4a3d..d4ffe0c283 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -687,6 +687,7 @@ library:ci-math-comp:
 
 library:ci-sf:
   extends: .ci-template
+  allow_failure: true # Waiting for integration of the fix for #10476
 
 library:ci-stdlib2:
   extends: .ci-template-flambda
-- 
cgit v1.2.3