From 3c15b300aca3555b6e5f3a32c7cd294d2e41bb2f Mon Sep 17 00:00:00 2001 From: Pierre Rousselin Date: Sat, 2 Dec 2023 12:07:22 +0100 Subject: [PATCH] Disable allow failure for fiat/cross-crypto This reverts a commit in Coq/Coq#18164 --- .gitlab-ci.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 79781d43a61b..b4e32942eb05 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -636,7 +636,6 @@ library:ci-coquelicot: library:ci-cross_crypto: extends: .ci-template - allow_failure: true # See https://github.com/coq/coq/pull/18164/ library:ci-engine_bench: extends: .ci-template @@ -658,7 +657,6 @@ library:ci-fiat_crypto: - plugin:ci-bignums - plugin:ci-rewriter timeout: 3h - allow_failure: true # See https://github.com/coq/coq/pull/18164/ library:ci-fiat_crypto_legacy: extends: .ci-template-flambda @@ -678,7 +676,6 @@ library:ci-fiat_crypto_ocaml: - library:ci-fiat_crypto artifacts: paths: [] # These artifacts would go over the size limit - allow_failure: true # See https://github.com/coq/coq/pull/18164/ library:ci-flocq: extends: .ci-template-flambda @@ -890,7 +887,6 @@ plugin:ci-equations_test: plugin:ci-fiat_parsers: extends: .ci-template - allow_failure: true # See https://github.com/coq/coq/pull/18164/ plugin:ci-lean_importer: extends: .ci-template