diff --git a/tools/actions/start-ci.sh b/tools/actions/start-ci.sh index a34f2a9496fb26..adf201f43b9332 100755 --- a/tools/actions/start-ci.sh +++ b/tools/actions/start-ci.sh @@ -17,10 +17,13 @@ for pr in "$@"; do # Do we need to reset? gh pr edit "$pr" --add-label "$REQUEST_CI_FAILED_LABEL" - jq -n --arg content "
Couldn't start CI
$(cat output || true)
" > output.json + # shellcheck disable=SC2154 + cqurl="${GITHUB_SERVER_URL}/${OWNER}/${REPOSITORY}/actions/runs/${GITHUB_RUN_ID}" + body="
Failed to start CI
$(cat output)
$cqurl
" + echo "$body" - gh pr comment "$pr" --body-file output.json + gh pr comment "$pr" --body "$body" - rm output.json; + rm output fi done;