diff options
| author | Théo Zimmermann | 2019-03-05 10:14:58 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-05 10:19:36 +0100 |
| commit | 5f0caf7fda4fb2efec4c7e9c03b0ec155baef9ca (patch) | |
| tree | 69b6b5aa8d5bef4e49666a76e9b1326e5dd7615c | |
| parent | b0d35837ff193b66ba37355093b2227f2b1be1ac (diff) | |
Put regularly failing async tests in allow_failure mode.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fd1ea325e9..9df669dd66 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -252,12 +252,14 @@ build:base+async: variables: COQ_EXTRA_CONF: "-native-compiler yes -coqide opt" COQUSERFLAGS: "-async-proofs on" + allow_failure: true # See https://github.com/coq/coq/issues/9658 build:quick: <<: *build-template variables: COQ_EXTRA_CONF: "-native-compiler no" QUICK: "1" + allow_failure: true # See https://github.com/coq/coq/issues/9637 windows64: <<: *windows-template |