no message
All checks were successful
CI / lint-and-build (push) Successful in 20s
CD / deploy (push) Successful in 13s

This commit is contained in:
2026-06-11 00:52:51 +08:00
parent 86fa25f301
commit 94d2c35e8a
2 changed files with 4 additions and 11 deletions

View File

@@ -61,7 +61,7 @@ jobs:
PID=$(cat "$PID_FILE")
echo "pid=$PID"
for i in 1 2 3; do
if kill -0 "$PID" 2>/dev/null; then
if [ -d "/proc/$PID" ]; then
echo "service running, pid=$PID (attempt $i)"
exit 0
fi