update workflow

hhu-adam · Aug 20, 2024 · dbfdca8 · dbfdca8
1 parent b98f0a4
commit dbfdca8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -16,8 +16,8 @@ jobs:
           #   os: ubuntu-latest
           - name: macOS
             os: macos-latest
-          - name: Windows
-            os: windows-latest
+          # - name: Windows
+          #   os: windows-latest
     name: ${{ matrix.name }}
     runs-on: ${{ matrix.os }}
     steps:
@@ -35,7 +35,7 @@ jobs:
       - name: install elan (macOS)
         if: matrix.os == 'macos-latest'
         run: |
-          curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh) > install_macos.sh
+          curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh > install_macos.sh
           ./install_macos.sh -y
           source ~/.profile
       - name: run lake build (macOS)