disable more windows CI; try introducing demo:install command

Author: joneugster

.github/workflows/test.yml

@@ -43,11 +43,11 @@ jobs:
             name: Linux
           - os: macos-latest
             name: macOS
-          - os: windows-latest
-            name: Windows
-          - os: windows-latest
-            name: Windows
-            browser: edge
+          # - os: windows-latest
+          #   name: Windows
+          # - os: windows-latest
+          #   name: Windows
+          #   browser: edge
         exclude:
           - os: windows-latest
             browser: webkit
@@ -84,7 +84,7 @@ jobs:
           echo "$(realpath ~/.elan/bin)" >> $GITHUB_PATH
       - uses: actions/setup-node@v4
       - run: npm install
-      - run: npm run demo:setup
+      - run: npm run demo:install
       - name: Run tests
         if: matrix.os != 'windows-latest'
         uses: cypress-io/github-action@v6

package.json

@@ -33,7 +33,8 @@
     "url": "https://github.com/hhu-adam/lean4monaco"
   },
   "scripts": {
-    "demo:setup": "concurrently \"(cd demo && npm install && npm run build:server)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"",
+    "demo:install": "(cd demo && npm install && npm run build:server)",
+    "demo:setup": "concurrently \"npm run demo:install\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"",
     "start": "concurrently \"tsc -w --preserveWatchOutput\" \"webpack --watch\" \"npm run watch:copyfiles\" \"cd demo && npm run start:client\" \"cd demo && npm run start:server\" -n tsc,webpack,copyfiles,vite,server -c \"bgGreen.bold,bgBlue.bold,bgCyan.bold,bgYellow.bold,bgMagenta.bold\"",
     "watch:copyfiles": "nodemon --watch ./src --exec \"npm run build:copyfiles\"",
     "build:copyfiles": "cd src && copyfiles \"**/*.json\" \"**/*.css\" \"**/*.ttf\" \"**/*.otf\" \"**/*.svg\" ../dist/",