.github: Change the run name for OnPRStateChangedPriv

(cherry picked from commit 865c8b8232)

.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:

.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]