From 955d1fbb289770c937192901e4dd8da62d7df4b9 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Sat, 24 Aug 2024 00:04:31 +0200
Subject: [PATCH] modify workflow

---
 .github/workflows/test.yml | 15 +++++++++++----
 cypress.config.ts          |  1 +
 2 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index e341069..c2c9345 100644
--- a/.github/workflows/test.yml
+++ b/.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:
diff --git a/cypress.config.ts b/cypress.config.ts
index 17161e3..5e6743b 100644
--- a/cypress.config.ts
+++ b/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