diff --git a/.github/workflows/lint-pr.yml b/.github/workflows/lint-pr.yml index 998d4f960b3..9085bb1192e 100644 --- a/.github/workflows/lint-pr.yml +++ b/.github/workflows/lint-pr.yml @@ -36,6 +36,12 @@ jobs: if: github.event_name == 'pull_request_target' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + - name: Publish the validated title to the run summary + if: github.event_name == 'pull_request_target' + run: | + echo "### Validated PR title" >> "$GITHUB_STEP_SUMMARY" + echo "${{ github.event.pull_request.title }}" >> "$GITHUB_STEP_SUMMARY" + echo "by ${{ github.event.pull_request.user.login }}" >> "$GITHUB_STEP_SUMMARY" - name: Skip PR title validation for merge group if: github.event_name == 'merge_group' run: echo "PR title validation is handled before pull requests enter the merge queue."