Merge pull request #51 from YaelDillies/main

joneugster · web-flow · commit c96401869916 · 2025-03-07T11:06:53.000+01:00
Use the new `gitpod4` Docker image
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -0,0 +1,11 @@
+# This is run when starting a Gitpod workspace on this repository
+
+image: leanprovercommunity/gitpod4
+
+vscode:
+  extensions:
+    - leanprover.lean4 # install the Lean 4 VS Code extension
+
+tasks:
+  - init: |
+      elan self update
