diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
index b39b189d..835df8d6 100644
--- a/.github/workflows/lean.yml
+++ b/.github/workflows/lean.yml
@@ -25,12 +25,15 @@ jobs:
 
     - name: Configure
       run: |
+        cd lean4
         lake exe cache get
 
     - name: Build
       run: |
+        cd lean4
         lake build
 
     - name: Save olean cache
       run: |
+        cd lean4
         lake exe cache pack