Use the new leanprovercommunity/gitpod4 image and make sure elan is…

… up to date (#193)
ImperialCollegeLondon · Nov 4, 2024 · bb59969 · bb59969
1 parent 1a17cd1
commit bb59969
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -1,10 +1,12 @@
 # This is run when starting a Gitpod workspace on this repository
 
-image: leanprovercommunity/mathlib:gitpod
+image: leanprovercommunity/gitpod4
 
 vscode:
   extensions:
     - leanprover.lean4 # install the Lean 4 VS Code extension
 
 tasks:
-  - command: . /home/gitpod/.profile && lake exe cache get # Download cache
+  - init: |
+      elan self update
+      lake exe cache get