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