Fix: PR builder check out src (#2431)

2026-05-16 14:59:21 +00:00 · 2023-01-05 18:14:11 +02:00
parent 14c88b50ec
commit 17aacb87fa
1 changed files with 1 additions and 0 deletions
@@ -40,6 +40,7 @@ jobs:
    
    - name: Checkout Code
      uses: actions/checkout@v3
+        ref: ${{ github.event.pull_request.head.sha }}
    
    - name: Set up JDK 17
      uses: actions/setup-java@v3