From a6d5fce9887ecfb1b7d1a3f73a3f016ca4baa40d Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 29 Mar 2019 18:43:29 +0100
Subject: [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.
---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:
-- 
cgit v1.2.3