explicitly trigger CI job after push-pr (since pushes using GITHUB_TO…

…KEN don't trigger workflows as per https://github.com/orgs/community/discussions/25702)
guardian · May 13, 2024 · 1d60671 · 1d60671
1 parent 837fdd7
commit 1d60671
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,7 +5,6 @@ on:
   push:
     branches:
       - main
-      - pr*
 jobs:
   CI:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/push-pr.yml b/.github/workflows/push-pr.yml
@@ -16,6 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     permissions:
       contents: write
+      actions: write
     steps:
       - uses: actions/checkout@v4
       - name: push-pr
@@ -25,3 +26,9 @@ jobs:
           echo "Pushing PR merge commit for ${PR} to remote pr${PR} branch"
           git fetch -f origin pull/${PR}/merge:pr${PR}
           git push -f origin pr${PR}:pr${PR}
+      - name: trigger CI
+        env:
+          PR: ${{ inputs.prNumber }}
+          GH_TOKEN: ${{ github.token }}
+        run: gh workflow run ci.yml --ref pr${PR}
+
-Original file line number
+Diff line change
@@ Expand Up / @@ -5,7 +5,6 @@ on: @@
       push:
         branches:
           - main
-          - pr*
     jobs:
       CI:
         runs-on: ubuntu-latest
@@ Expand Down @@