From ce7e19d98cefe4edcad6670785ce4128958f8810 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 20 Aug 2024 11:16:17 +0200
Subject: [PATCH] add windows workflow

---
 .github/workflows/test.yml | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 4637460..10a7cfc 100644
--- 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