fix(gitpod.yml): force elan to self-update in gitpod (#13439)

Ensure that `elan` is up-to-date before trying to run `lake exe cache get` etc in gitpod containers.
leanprover-community · Jun 7, 2024 · 6b50dc5 · 6b50dc5
1 parent 402d668
commit 6b50dc5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -6,4 +6,6 @@ vscode:
     - leanprover.lean4
 
 tasks:
-  - init: lake exe cache get
+  - init: |
+      elan self update
+      lake exe cache get