From f76664af6b193193e83c00721ea2fd288e193154 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 5 Oct 2018 16:07:35 +0200
Subject: [ci] Allow bedrock2 to fail.

Issue #8533 is still unmitigated.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index da90ebaa98..08bedcebea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -348,6 +348,7 @@ validate:edge+flambda:
 
 ci-bedrock2:
   <<: *ci-template
+  allow_failure: true
 
 ci-bignums:
   <<: *ci-template
-- 
cgit v1.2.3