From 40308a1fb2c053b20fe35622e3816cba02b171c0 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Wed, 24 Jun 2020 17:28:57 -0400
Subject: [ci] [fiat-crypto-legacy] allow_failure: true

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d9a22c5cdc..7915cc34fb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -744,6 +744,7 @@ library:ci-fiat_crypto:
 
 library:ci-fiat_crypto_legacy:
   extends: .ci-template-flambda
+  allow_failure: true # See https://github.com/coq/coq/wiki/Coq-Call-2020-06-24#adding-back-fiat-crypto-legacy
 
 # We cannot use flambda due to
 # https://github.com/ocaml/ocaml/issues/7842, see
-- 
cgit v1.2.3