chore: update .gitpod.yml to pre-build Batteries (#924)

leanprover-community · Sep 9, 2024 · 2b13f6c · 2b13f6c
1 parent 39fef54
commit 2b13f6c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -4,3 +4,8 @@ image:
 vscode:
   extensions:
     - leanprover.lean4
+
+tasks:
+  - init: |
+      elan self update
+      lake build