Commit 0738d14
tools: fix request-ci-failed comment
Refs: #45209 (comment)
PR-URL: #45218
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
Reviewed-By: Jiawen Geng <technicalcute@gmail.com>
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>1 parent 02ebde3 commit 0738d14
1 file changed
Lines changed: 6 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -17,10 +17,13 @@ for pr in "$@"; do | |||
| 17 | 17 | # Do we need to reset? | |
| 18 | 18 | gh pr edit "$pr" --add-label "$REQUEST_CI_FAILED_LABEL" | |
| 19 | 19 | ||
| 20 | - jq -n --arg content "<details><summary>Couldn't start CI</summary><pre>$(cat output || true)</pre></details>" > output.json | ||
| 20 | + # shellcheck disable=SC2154 | ||
| 21 | + cqurl="${GITHUB_SERVER_URL}/${OWNER}/${REPOSITORY}/actions/runs/${GITHUB_RUN_ID}" | ||
| 22 | + body="<details><summary>Failed to start CI</summary><pre>$(cat output)</pre><a href='$cqurl'>$cqurl</a></details>" | ||
| 23 | + echo "$body" | ||
| 21 | 24 | ||
| 22 | - gh pr comment "$pr" --body-file output.json | ||
| 25 | + gh pr comment "$pr" --body "$body" | ||
| 23 | 26 | ||
| 24 | - rm output.json; | ||
| 27 | + rm output | ||
| 25 | 28 | fi | |
| 26 | 29 | done; | |
0 commit comments