diff options
| author | Jason Gross | 2020-06-24 17:28:57 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-06-24 17:28:57 -0400 |
| commit | 40308a1fb2c053b20fe35622e3816cba02b171c0 (patch) | |
| tree | 0eaa5acd0e589c36701617c34774ec2d62543a65 | |
| parent | f9057bd07cd553b32724593c686ca21d5d7388f2 (diff) | |
[ci] [fiat-crypto-legacy] allow_failure: true
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |