feat(ci): Download all possible caches in gitpod (#9286)

This requests mathlibtools 1.1.0
leanprover-community · Sep 20, 2021 · 8c96c54 · 8c96c54
1 parent 72a8cd6
commit 8c96c54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -6,4 +6,4 @@ vscode:
     - jroesch.lean
 
 tasks:
-  - command: . /home/gitpod/.profile && leanproject get-mathlib-cache
+  - command: . /home/gitpod/.profile && leanproject get-cache --fallback=download-all