modify workflow

.github/workflows/test.yml

@@ -53,16 +53,23 @@ jobs:
           bash elan-init.sh -y
           echo "$(realpath ~/.elan/bin)" >> $GITHUB_PATH
         shell: bash
+      - uses: actions/setup-node@v4
+      - run: npm install
+      - run: npm run setup_demo
+        if: matrix.os != 'windows-latest'
+
+      # BUG: Somehow `lake` is not found when called through `npm` but it works on its own
+      - name: Run npm run setup_demo (Windows)
+        if: matrix.os == 'windows-latest'
+        run: |
+          concurrently \"(cd demo && npm install)\" \"npm run build\" -n install,build -c \"bgCyan.bold,bgBlue.bold\"
       - name: Run lake build (Windows)
         if: matrix.os == 'windows-latest'
         run: |
           cd demo/server/LeanProject
           lake build
         shell: bash
-      # must be after elan installation or `lake` will not be found on Windows
-      - uses: actions/setup-node@v4
-      - run: npm install
-      - run: npm run setup_demo
+
       - name: Run tests
         uses: cypress-io/github-action@v6
         with:

cypress.config.ts

@@ -1,6 +1,7 @@
 import { defineConfig } from "cypress";
 
 export default defineConfig({
+  defaultCommandTimeout: 10000, // for firefox on linux
   e2e: {
     setupNodeEvents(on, config) {
       // implement node event listeners here