Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot

lean-dojo · Dec 11, 2023 · 6bd4381 · 6bd4381
2 parents 7a0a0b5 + ab72615
commit 6bd4381
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -37,17 +37,17 @@ jobs:
         os: [ubuntu-latest, macos-latest]
     name: Test external
     steps:
-      - name: Install Git LFS
-        run: |
-          git lfs install
-          git lfs pull
       - name: Set up elan
         run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
       - name: Get lean4-example
         run: |
           git clone https://github.com/yangky11/lean4-example
           cd lean4-example
           git checkout LeanCopilot-demo
+      - name: Install Git LFS
+        run: |
+          git lfs install
+          git lfs pull
       - name: Build lean4-example
         run: |
           cd lean4-example