diff options
| author | Emilio Jesus Gallego Arias | 2019-03-30 03:57:51 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-30 03:57:51 +0100 |
| commit | 1b3009ea672fd57e13e2d6912a97db51dfe8f13f (patch) | |
| tree | de28005b4547c860a89eead6ee75752744b5ab23 | |
| parent | b7ae5d2409d2bda56a9e7e85d12f070b879afd4b (diff) | |
| parent | a6d5fce9887ecfb1b7d1a3f73a3f016ca4baa40d (diff) | |
Merge PR #9869: [CI] Force caching when running test-suite in async mode
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 58be1e4524..2066dce13a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -516,7 +516,7 @@ test-suite:base+async: dependencies: - build:base variables: - COQFLAGS: "-async-proofs on" + COQFLAGS: "-async-proofs on -async-proofs-cache force" allow_failure: true only: variables: |