pull request target does not refer to the PR head

scilus · Feb 13, 2024 · 504199e · 504199e
1 parent b29d312
commit 504199e
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -20,7 +20,14 @@ jobs:
   test:
     runs-on: scilus-runners
     steps:
-      - name: Checkout repository
+      - name: Checkout repository for PR
+        if: github.event.pull_request.number
+        uses: actions/[email protected]
+        with:
+          ref: refs/pull/${{ github.event.pull_request.number }}/merge
+
+      - name: Checkout repository for merge
+        if: ! github.event.pull_request.number
         uses: actions/[email protected]
 
       - name: Fetch python version from repository