add windows workflow

hhu-adam · Aug 20, 2024 · ce7e19d · ce7e19d
1 parent c8a1412
commit ce7e19d
Showing 1 changed file with 18 additions and 2 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:
@@ -37,3 +37,19 @@ jobs:
       - run: npm audit
         continue-on-error: true
       - run: npm run test
+  wintest:
+    name: Windows
+    runs-on: windows-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      - name: install elan
+        run: |
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
+      - name: print lean and lake versions
+      - uses: actions/setup-node@v3
+      - run: npm install --loglevel verbose
+      - run: npm audit
+        continue-on-error: true
+      - run: npm run test