Add check server

WikiWatershed · May 14, 2024 · 14eb791 · 14eb791
1 parent aee54ae
commit 14eb791
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -40,10 +40,14 @@ jobs:
           ./scripts/server >/dev/null 2>&1 &
           echo "SERVER_PID=$!" >> "$GITHUB_ENV"
 
-      - name: Run test script
+      - name: Check server
         run: |
-          sleep 15
-          curl localhost:8090/pong
+          if ps -p "${SERVER_PID}" > /dev/null; then
+            echo "Server script is running with PID: ${SERVER_PID}"
+          else
+            echo "Server script is not running."
+            exit 1
+          fi
 
       - name: Stop server
         run: |