[ci] add pull_request arg to private CI

Signed-off-by: Gary Guo <[email protected]>
lowRISC · Mar 25, 2024 · d9165d0 · d9165d0
1 parent 39f28ba
commit d9165d0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/private-ci.yml b/.github/workflows/private-ci.yml
@@ -69,6 +69,7 @@ jobs:
         run: |
           gh workflow run ibex-private-ci.yml --repo lowRISC/lowrisc-private-ci \
             -f ref="${{ github.event.pull_request.head.sha || github.sha }}" \
-            -f sha="${{ steps.merge.outputs.merge_sha || github.sha }}"
+            -f sha="${{ steps.merge.outputs.merge_sha || github.sha }}" \
+            -f pull_request="${{ github.event.number }}"
         env:
           GITHUB_TOKEN: ${{ secrets.LOWRISC_PRIVATE_CI_PAT }}