.github: Change the run name for OnPRStateChangedPriv

This commit is contained in:
George Joseph
2024-12-18 08:16:51 -07:00
parent 89ffbb5de7
commit e98887f3dc
2 changed files with 4 additions and 1 deletions

View File

@@ -11,6 +11,9 @@
# accompanying OnPRStateChangedPriv workflow does just that.
name: PRChanged
# WARNING! The run name MUST start with "PR <pr_number>".
# The accompanying privleged workflow parses this to find
# the PR number. It's the only reliable way it can get it.
run-name: "PR ${{ github.event.number }} ${{ github.event.action }} by ${{ github.actor }}"
on:
pull_request:

View File

@@ -11,7 +11,7 @@
# of this workflow name.
#
name: PRChangedPriv
run-name: "PRChangedPriv ${{ github.event.workflow.name }} ${{ github.event.action }}"
run-name: "PRChangedPriv ${{ github.event.workflow_run.name }} ${{ github.event.action }}(${{ github.event.workflow_run.conclusion }})"
on:
workflow_run:
workflows: [PRChanged]