Reuse mathlib's docker image

Even though it's ancient and installs the Lean 3 extension, it works for our purposes if we run `elan self update` afterwards.
YaelDillies · Jun 1, 2024 · da397c9 · da397c9
1 parent c470211
commit da397c9
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 42 deletions.
diff --git a/.docker/gitpod/Dockerfile b/.docker/gitpod/Dockerfile
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -1,5 +1,4 @@
-image:
-  file: .docker/gitpod/Dockerfile
+image: leanprovercommunity/mathlib:gitpod
 
 vscode:
   extensions: