From ab726154c5e2f540a2cf52f359ec5e8bd780bbe2 Mon Sep 17 00:00:00 2001
From: Peiyang-Song <p_song@ucsb.edu>
Date: Sun, 10 Dec 2023 17:03:17 -0800
Subject: [PATCH] fix ci

---
 .github/workflows/push.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index e977269..5ac95ca 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -37,10 +37,6 @@ 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
@@ -48,6 +44,10 @@ jobs:
           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