Update .gitpod.yml to pre-build Batteries so that users are not delay…

…ed by the build process
leanprover-community · Aug 17, 2024 · ae5d774 · ae5d774
1 parent a975dea
commit ae5d774
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