diff options
| author | Maxime Dénès | 2018-11-27 08:57:45 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-12-12 12:30:30 +0100 |
| commit | 27332ea5e0e461d1ccc6f0f7a6c329d18b45e2b9 (patch) | |
| tree | 201c3fb379ccd59877098c6acb148462e9286415 | |
| parent | ce0924599497800773ebc95b392e678926ea1820 (diff) | |
Add CI job building stdlib with `-async-proofs on`
| -rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 65a8a0cb88..b1a805b59e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -225,6 +225,13 @@ build:egde:dune:dev: OPAM_SWITCH: edge DUNE_TARGET: world +build:base+async: + <<: *build-template + stage: test + variables: + COQ_EXTRA_CONF: "-native-compiler yes -coqide opt" + COQUSERFLAGS: "-async-proofs on" + windows64: <<: *windows-template variables: |