nodejs
diff --git a/Collapse file
‎tools/actions/start-ci.sh‎
Copy file name to clipboardExpand all lines: tools/actions/start-ci.sh
+6-3Lines changed: 6 additions & 3 deletions b/Collapse file
‎tools/actions/start-ci.sh‎
Copy file name to clipboardExpand all lines: tools/actions/start-ci.sh
+6-3Lines changed: 6 additions & 3 deletions
@@ -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;