fix: Update PR builder (#2424)

2026-05-14 10:58:42 +00:00 · 2023-01-04 21:38:46 +02:00
parent fa993a66e7
commit 2332db9b5a
1 changed files with 4 additions and 1 deletions
@@ -40,7 +40,10 @@ jobs:
    
    - name: Checkout Code
      uses: actions/checkout@v3
-    
+        with:
+          ref: ${{ github.event.pull_request.head.ref }}
+          repository: ${{ github.event.pull_request.head.repo.full_name }}
+
    - name: Set up JDK 17
      uses: actions/setup-java@v3
      with: