From 5f0caf7fda4fb2efec4c7e9c03b0ec155baef9ca Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 5 Mar 2019 10:14:58 +0100
Subject: Put regularly failing async tests in allow_failure mode.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fd1ea325e9..9df669dd66 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -252,12 +252,14 @@ build:base+async:
   variables:
     COQ_EXTRA_CONF: "-native-compiler yes -coqide opt"
     COQUSERFLAGS: "-async-proofs on"
+  allow_failure: true # See https://github.com/coq/coq/issues/9658
 
 build:quick:
   <<: *build-template
   variables:
     COQ_EXTRA_CONF: "-native-compiler no"
     QUICK: "1"
+  allow_failure: true # See https://github.com/coq/coq/issues/9637
 
 windows64:
   <<: *windows-template
-- 
cgit v1.2.3