Skip to content

Commit bbf16b0

Browse files
1SolonCopilot
andauthored
Apply suggestion from @Copilot
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
1 parent b4c9c31 commit bbf16b0

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

.github/scripts/run-smoke.sh

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ GRACE_KILL_SECONDS=5
3131
PID=$(cat "$LOG_DIR/server.pid" 2>/dev/null || echo "")
3232
if [[ -z "$PID" ]]; then
3333
echo "{\"status\":\"failed\",\"reason\":\"No PID captured\"}" > "$STATUS_JSON"
34+
echo "failed" > "$RESULT_FILE"
3435
exit 0
3536
fi
3637

0 commit comments

Comments
 (0)