do make sure script exists

leanprover-community · Jan 7, 2025 · ceacafd · ceacafd
1 parent 34bcb21
commit ceacafd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build_windows.yml b/.github/workflows/build_windows.yml
@@ -34,13 +34,13 @@ jobs:
   windows-build:
     runs-on: windows-latest
     steps:
+      - name: checkout
+        uses: actions/checkout@v4
       - name: install elan
         shell: bash
         run: |
           : Install Elan
           scripts/windows/install_elan.sh
-      - name: checkout
-        uses: actions/checkout@v4
       - name: install other compiler
         shell: bash
         run: |