Skip to content

Commit

Permalink
CI: Set fiat_crypto allow_failure
Browse files Browse the repository at this point in the history
3h is already a long timeout, for the sake of not making CI take even
longer and to avoid making overlay writing more painful I am strongly
against making it longer.
  • Loading branch information
SkySkimmer committed Oct 25, 2023
1 parent b7c0814 commit 2680f9b
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .gitlab-ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -659,6 +659,7 @@ library:ci-fiat_crypto:
- plugin:ci-bignums
- plugin:ci-rewriter
timeout: 3h
allow_failure: true

library:ci-fiat_crypto_legacy:
extends: .ci-template-flambda
Expand Down

0 comments on commit 2680f9b

Please sign in to comment.