Alternate spelling

trishullab · Jul 23, 2024 · e26f520 · e26f520
1 parent 08344c8
commit e26f520
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
@@ -24,16 +24,16 @@ jobs:
         key: oleans
 
     - name: Configure
+      working-directory: lean4
       run: |
-        cd lean4
         lake exe cache get
 
     - name: Build
+      working-directory: lean4
       run: |
-        cd lean4
         lake build
 
     - name: Save olean cache
+      working-directory: lean4
       run: |
-        cd lean4
         lake exe cache pack