modify workflow

.github/workflows/test.yml

@@ -45,14 +45,28 @@ jobs:
         with:
           submodules: true
       - uses: actions/setup-node@v4
-      - uses: leanprover/lean-action@v1
-        with:
-          lake-package-directory: "demo/server/LeanProject"
-          use-mathlib-cache: false
-          auto-config: false
-          build: true
-          test: false
-          lint: false
+      # - uses: leanprover/lean-action@v1
+      #   if: matrix.os != 'windows-latest'
+      #   with:
+      #     lake-package-directory: "demo/server/LeanProject"
+      #     use-mathlib-cache: false
+      #     auto-config: false
+      #     build: true
+      #     test: false
+      #     lint: false
+      # - name: Install elan (Windows)
+      #   if: matrix.os == 'windows-latest'
+      #   run: |
+      #     curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
+      #     bash elan-init.sh -y
+      #     echo "$(realpath ~/.elan/bin)" >> $GITHUB_PATH
+      #   shell: bash
+      # - name: Run lake build (Windows)
+      #   if: matrix.os == 'windows-latest'
+      #   run: |
+      #     cd demo/server/LeanProject
+      #     lake build
+      #   shell: bash
       - name: Install dependencies
         run: npm install
       # - name: Build