diff options
| author | Maxime Dénès | 2018-11-27 10:56:09 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-09 11:18:31 +0100 |
| commit | 48ae6cec009554a337f64b0402daea2c653e25e2 (patch) | |
| tree | a2423644dfefc1ce03029e6d5970f08ffeec1b32 | |
| parent | d61f17be123b1d7f2aaba3291ad4c51c78e63df5 (diff) | |
Add a CI job running test suite with `-async-proofs on`
| -rw-r--r-- | .gitlab-ci.yml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f54f64bf28..c11ba11fc5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -151,7 +151,7 @@ after_script: - BIN=$(readlink -f ../_install_ci/bin)/ - LIB=$(readlink -f ../_install_ci/lib/coq)/ - export OCAMLPATH=$(readlink -f ../_install_ci/lib/):"$OCAMLPATH" - - make -j "$NJOBS" BIN="$BIN" LIB="$LIB" all + - make -j "$NJOBS" BIN="$BIN" LIB="$LIB" COQFLAGS="${COQFLAGS}" all artifacts: name: "$CI_JOB_NAME.logs" when: on_failure @@ -427,6 +427,13 @@ test-suite:edge+trunk+dune: expire_in: 1 week allow_failure: true +test-suite:base+async: + <<: *test-suite-template + dependencies: + - build:base + variables: + COQFLAGS: "-async-proofs on" + validate:base: <<: *validate-template dependencies: |