modify action

Author: joneugster

Diff for: .github/workflows/build.yml

@@ -29,16 +29,17 @@ jobs:
         run: npm install
       - name: Install demo
         run: npm run setup_demo
-      - name: Build lean4monaco
-        run: npm run build
+      # - name: Build lean4monaco
+      #   run: npm run build
       # - name: Build demo server
       #   run: |
       #     cd demo
       #     npm run build
       - name: Start server
         id: start-server
         run: |
-          npm start
+          nohup npm start > nohup.out 2> nohup.err < /dev/null &
+          echo "server is running..."
 # cd demo
 # echo "Starting server..."
 # npm run start