Break out PRs to separate workflow

Author: dwoz

.github/workflows/workflow-finished.yml

@@ -4,10 +4,13 @@ run-name: Workflow Finished ${{ github.event.workflow_run.display_title }} (${{
 on:
   workflow_run:
     workflows:
-      - CI
       - Nightly
       - Scheduled
       - Stage Release
+    branches:
+      - 3006.x
+      - 3007.x
+      - master
     types:
       - completed
 

.github/workflows/workflow-pr-finished.yml

@@ -0,0 +1,27 @@
+name: Workflow PR Finished
+run-name: Workflow PR Finished ${{ github.event.workflow_run.display_title }} (${{ github.event.workflow_run.conclusion }})
+
+on:
+  workflow_run:
+    workflows:
+      - CI
+    types:
+      - completed
+
+permissions:
+  contents: read
+  pull-requests: read
+  actions: write
+
+jobs:
+
+  restart-failed-jobs:
+    runs-on: ubuntu-latest
+    if: ${{ github.event.workflow_run.conclusion == 'failure' && github.event.workflow_run.run_attempt < 5 }}
+    steps:
+      - name: Restart failed jobs
+        env:
+          GH_REPO: ${{ github.repository }}
+          GH_TOKEN: ${{ github.token }}
+        run: |
+          gh run rerun ${{ github.event.workflow_run.id }} --failed