diff options
| author | Gaëtan Gilbert | 2019-03-19 13:03:42 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-03-19 13:03:42 +0100 |
| commit | f1ca51445650a6595a9dfd28c365b83fa25d1eea (patch) | |
| tree | 4042b8d900edabab79a7b084b662d822d037cbd2 | |
| parent | 6fd12bf57527545fa5472a33fb44d9dd49b40086 (diff) | |
| parent | b6a939777f05da51cf1c9ba054e7539c449a1b12 (diff) | |
Merge PR #9796: [ci] Guard broken jobs under an `UNRELIABLE = enabled` variable.
Reviewed-by: SkySkimmer
| -rw-r--r-- | .gitlab-ci.yml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 53f7fef7ee..b6e7f8aeef 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -253,6 +253,9 @@ build:base+async: COQ_EXTRA_CONF: "-native-compiler yes -coqide opt" COQUSERFLAGS: "-async-proofs on" allow_failure: true # See https://github.com/coq/coq/issues/9658 + only: + variables: + - $UNRELIABLE =~ /enabled/ build:quick: extends: .build-template @@ -260,6 +263,9 @@ build:quick: COQ_EXTRA_CONF: "-native-compiler no" QUICK: "1" allow_failure: true # See https://github.com/coq/coq/issues/9637 + only: + variables: + - $UNRELIABLE =~ /enabled/ windows64: extends: .windows-template @@ -507,6 +513,10 @@ test-suite:base+async: - build:base variables: COQFLAGS: "-async-proofs on" + allow_failure: true + only: + variables: + - $UNRELIABLE =~ /enabled/ validate:base: extends: .validate-template @@ -532,6 +542,9 @@ validate:quick: extends: .validate-template dependencies: - build:quick + only: + variables: + - $UNRELIABLE =~ /enabled/ # Libraries are by convention the projects that depend on Coq # but not on its ML API |