diff options
| author | Maxime Dénès | 2019-03-29 18:43:29 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-03-29 18:43:29 +0100 |
| commit | a6d5fce9887ecfb1b7d1a3f73a3f016ca4baa40d (patch) | |
| tree | 24e6408f9371c743a6c646190c12a5a1ba019b3d | |
| parent | 4b9636ffd47ea5a0b99df442047ba03d18422738 (diff) | |
[CI] Force caching when running test-suite in async mode
I thought the test-suite infrastructure was always passing
`-async-proofs-cache force`, but in fact it does it only for interactive
tests.
This should speed up the tests quite a bit.
| -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: |