Use the new gitpod4 Docker image

YaelDillies · Sep 30, 2024 · fb91e33 · fb91e33
1 parent bb443d7
commit fb91e33
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -1,8 +1,10 @@
-image: leanprovercommunity/mathlib:gitpod
+# This is run when starting a Gitpod workspace on this repository
+
+image: leanprovercommunity/gitpod4
 
 vscode:
   extensions:
-    - leanprover.lean4
+    - leanprover.lean4 # install the Lean 4 VS Code extension
 
 tasks:
   - init: |