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 /clib | |
| 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.
Diffstat (limited to 'clib')
0 files changed, 0 insertions, 0 deletions