.github: Change the run name for OnPRStateChangedPriv

diff --git a/.github/workflows/OnPRStateChanged.yml b/.github/workflows/OnPRStateChanged.yml
index 5b9d6bf66fc7038520791c72e8869971a779c299..35e064295707ad1e6f05d917380e15c1c9014b47 100644 (file)
--- a/.github/workflows/OnPRStateChanged.yml
+++ b/.github/workflows/OnPRStateChanged.yml
@@ -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:

diff --git a/.github/workflows/OnPRStateChangedPriv.yml b/.github/workflows/OnPRStateChangedPriv.yml
index 96f3b42385bcc028f20f5c5aa10fe804d651b5eb..c4bdf46966f0b4f006f24644e99e162ce05fa863 100644 (file)
--- a/.github/workflows/OnPRStateChangedPriv.yml
+++ b/.github/workflows/OnPRStateChangedPriv.yml
@@ -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]