From ae5d774a83bab0671a3832f9d5cf4e2fc6cd782c Mon Sep 17 00:00:00 2001
From: Shrys <shreyasss94@gmail.com>
Date: Sat, 17 Aug 2024 12:29:20 +0000
Subject: [PATCH] Update .gitpod.yml to pre-build Batteries so that users are
 not delayed by the build process

---
 .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