windows workflow

Author: joneugster

Diff for: .github/workflows/test.yml

@@ -7,36 +7,36 @@ on:
   pull_request:
     branches: ["main"]
 jobs:
-  test:
-    strategy:
-      fail-fast: false
-      matrix:
-        include:
-          - name: Linux
-            os: ubuntu-latest
-          - name: macOS
-            os: macos-latest
-          # - name: Windows
-          #   os: windows-latest
-    name: ${{ matrix.name }}
-    runs-on: ${{ matrix.os }}
-    steps:
-      - uses: actions/checkout@v4
-        with:
-          submodules: true
-      # uses lean standard action with all default input values
-      - uses: leanprover/lean-action@v1
-        with:
-          lake-package-directory: "demo/server/LeanProject"
-          use-mathlib-cache: false
-          build: true
-          test: false
-          lint: false
-      - uses: actions/setup-node@v3
-      - run: npm install --loglevel verbose
-      - run: npm audit
-        continue-on-error: true
-      - run: npm run test
+  # test:
+  #   strategy:
+  #     fail-fast: false
+  #     matrix:
+  #       include:
+  #         - name: Linux
+  #           os: ubuntu-latest
+  #         - name: macOS
+  #           os: macos-latest
+  #         # - name: Windows
+  #         #   os: windows-latest
+  #   name: ${{ matrix.name }}
+  #   runs-on: ${{ matrix.os }}
+  #   steps:
+  #     - uses: actions/checkout@v4
+  #       with:
+  #         submodules: true
+  #     # uses lean standard action with all default input values
+  #     - uses: leanprover/lean-action@v1
+  #       with:
+  #         lake-package-directory: "demo/server/LeanProject"
+  #         use-mathlib-cache: false
+  #         build: true
+  #         test: false
+  #         lint: false
+  #     - uses: actions/setup-node@v3
+  #     - run: npm install --loglevel verbose
+  #     - run: npm audit
+  #       continue-on-error: true
+  #     - run: npm run test
   wintest:
     name: Windows
     runs-on: windows-latest
@@ -46,7 +46,7 @@ jobs:
           submodules: true
       - name: install elan
         run: |
-          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
           sh elan-init.sh -y
           echo "$HOME/.elan/bin" >> $GITHUB_PATH
       - name: print lean and lake versions