Troubleshooting PID

WikiWatershed · May 14, 2024 · 50dd3b0 · 50dd3b0
1 parent 2da37af
commit 50dd3b0
Showing 1 changed file with 9 additions and 8 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,14 +39,15 @@ jobs:
         run: |
           ./scripts/server >/dev/null 2>&1 &
           SERVER_PID=$!
+          echo SERVER_PID
 
-      - name: Run test script
-        run: |
-          sleep 15
-          curl localhost:8090/pong
+      # - name: Run test script
+      #   run: |
+      #     sleep 15
+      #     curl localhost:8090/pong
 
-      - name: Stop server
-        run: |
-          echo $SERVER_PID
-          kill $SERVER_PID
+      # - name: Stop server
+      #   run: |
+      #     echo $SERVER_PID
+      #     kill $SERVER_PID