hope

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