diff options
author | Antoine du Hamel <duhamelantoine1995@gmail.com> | 2022-10-28 14:45:35 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-28 14:45:35 +0300 |
commit | 1422e51a5b8a2e6f414f34042a5ec6a147bbc532 (patch) | |
tree | ba3b2408abb2b10eecff65642d4af0c6ea8360c9 /tools | |
parent | 9ceac979a145c2603cbb315270d54777c75cac28 (diff) |
tools: fix `request-ci-failed` comment
Refs: https://github.com/nodejs/node/pull/45209#issuecomment-1294239904
PR-URL: https://github.com/nodejs/node/pull/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>
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/actions/start-ci.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/tools/actions/start-ci.sh b/tools/actions/start-ci.sh index a34f2a9496f..adf201f43b9 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 "<details><summary>Couldn't start CI</summary><pre>$(cat output || true)</pre></details>" > output.json + # shellcheck disable=SC2154 + cqurl="${GITHUB_SERVER_URL}/${OWNER}/${REPOSITORY}/actions/runs/${GITHUB_RUN_ID}" + body="<details><summary>Failed to start CI</summary><pre>$(cat output)</pre><a href='$cqurl'>$cqurl</a></details>" + echo "$body" - gh pr comment "$pr" --body-file output.json + gh pr comment "$pr" --body "$body" - rm output.json; + rm output fi done; |