From 104c8de185430cee49b532291e4ef8858a582905 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 23 Aug 2024 19:26:06 +0200
Subject: [PATCH] modify action

---
 .github/workflows/build.yml | 25 ++++++++++++-------------
 1 file changed, 12 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5622138..c4a1358 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -27,24 +27,23 @@ jobs:
           lint: false
       - name: Install dependencies
         run: npm install
-      - name: Install server dependencies
-        run: |
-          cd demo
-          npm install
+      - name: Install demo
+        run: npm run setup_demo
       - name: Build lean4monaco
         run: npm run build
-      - name: Build demo server
-        run: |
-          cd demo
-          npm run build
+      # - name: Build demo server
+      #   run: |
+      #     cd demo
+      #     npm run build
       - name: Start server
         id: start-server
         run: |
-          cd demo
-          echo "Starting server..."
-          npm run start
-          # nohup npm run start > nohup.out 2> nohup.err < /dev/null &
-          echo "server is running."
+          npm start
+# cd demo
+# echo "Starting server..."
+# npm run start
+# # nohup npm run start > nohup.out 2> nohup.err < /dev/null &
+# echo "server is running."
   test:
     strategy:
       fail-fast: false