From 2b13f6c5c80adfd95becf0f0b03b9a2d7ca52135 Mon Sep 17 00:00:00 2001
From: Shrys <shreyasss94@gmail.com>
Date: Mon, 9 Sep 2024 07:04:26 +0200
Subject: [PATCH] chore: update .gitpod.yml to pre-build Batteries (#924)

---
 .gitpod.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitpod.yml b/.gitpod.yml
index 5170403ac3..f9614f0d9b 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -4,3 +4,8 @@ image:
 vscode:
   extensions:
     - leanprover.lean4
+
+tasks:
+  - init: |
+      elan self update
+      lake build