From 18386d949fb47dd2b62577b0b41716c6e0811d90 Mon Sep 17 00:00:00 2001 From: Carly Gundy Date: Tue, 18 Nov 2025 16:47:22 +0100 Subject: [PATCH 1/3] feat(IDX): add comment with github run --- .github/workflows/ci-kickoff-manual.yml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/.github/workflows/ci-kickoff-manual.yml b/.github/workflows/ci-kickoff-manual.yml index 8fecfcd088a6..09f71399ca31 100644 --- a/.github/workflows/ci-kickoff-manual.yml +++ b/.github/workflows/ci-kickoff-manual.yml @@ -7,6 +7,10 @@ on: description: 'The commit SHA to run the workflow on' required: true default: '' + pr-number: + description: 'This is required to post comments on the PR. Leave empty if not applicable.' + required: false + default: '' jobs: ci-main: @@ -46,3 +50,23 @@ jobs: with: commit-sha: ${{ inputs.commit-sha }} run-result: ${{ needs.ci-main.result }} + + post-comment-with-ci-link: + name: Post Comment with CI Link + runs-on: ubuntu-latest + permissions: + contents: read + pull-requests: write + steps: + - name: Add PR Comment + uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1 + with: + script: | + let message = 'Run URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}\n\n' + + github.rest.issues.createComment({ + issue_number: ${{ inputs.pr-number }}, + owner: context.repo.owner, + repo: context.repo.repo, + body: message + }) From 3c1006c3f2bffb23cddd3ef0887c7ff7ee588019 Mon Sep 17 00:00:00 2001 From: Carly Gundy Date: Tue, 18 Nov 2025 16:51:10 +0100 Subject: [PATCH 2/3] fix --- .github/workflows/ci-kickoff-manual.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci-kickoff-manual.yml b/.github/workflows/ci-kickoff-manual.yml index 09f71399ca31..3e29b7eccd2b 100644 --- a/.github/workflows/ci-kickoff-manual.yml +++ b/.github/workflows/ci-kickoff-manual.yml @@ -8,14 +8,14 @@ on: required: true default: '' pr-number: - description: 'This is required to post comments on the PR. Leave empty if not applicable.' - required: false + description: 'The PR number' # this is used for posting comments with the CI link + required: true default: '' jobs: ci-main: name: CI Main - uses: ./.github/workflows/ci_main.yml + uses: ./.github/workflows/ci-main.yml secrets: inherit with: commit-sha: ${{ inputs.commit-sha }} From 76a85c462decf96dc2107ff2d02819fb5d4b1e33 Mon Sep 17 00:00:00 2001 From: Carly Gundy <47304080+cgundy@users.noreply.github.com> Date: Tue, 18 Nov 2025 17:12:45 +0100 Subject: [PATCH 3/3] Update .github/workflows/ci-kickoff-manual.yml Co-authored-by: Bas van Dijk --- .github/workflows/ci-kickoff-manual.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci-kickoff-manual.yml b/.github/workflows/ci-kickoff-manual.yml index 3e29b7eccd2b..ebf263635c73 100644 --- a/.github/workflows/ci-kickoff-manual.yml +++ b/.github/workflows/ci-kickoff-manual.yml @@ -62,7 +62,7 @@ jobs: uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1 with: script: | - let message = 'Run URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}\n\n' + let message = 'Run on \`${{ inputs.commit-sha }}\` URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}\n\n' github.rest.issues.createComment({ issue_number: ${{ inputs.pr-number }},