From af686c0f411021daa1511a01c48e68a1b188d3b4 Mon Sep 17 00:00:00 2001 From: Thilo Fromm Date: Fri, 26 May 2023 10:07:00 +0200 Subject: [PATCH] workflows/pr-comment-dispatcher: post link to workflow run Signed-off-by: Thilo Fromm --- .github/workflows/pr-comment-build-dispatcher.yaml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/pr-comment-build-dispatcher.yaml b/.github/workflows/pr-comment-build-dispatcher.yaml index fc18fbb4f3..a982e2c134 100644 --- a/.github/workflows/pr-comment-build-dispatcher.yaml +++ b/.github/workflows/pr-comment-build-dispatcher.yaml @@ -49,6 +49,12 @@ jobs: $res + - name: Post a link to the workflow run to the PR + uses: mshick/add-pr-comment@v2 + with: + issue: ${{ github.event.issue.pull_request.number }} + message: "Build action triggered: [${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }})" + update_sdk: needs: check_maintainer_membership if: ( always() && needs.check_maintainer_membership.result == 'success'