|
|
|
|
@ -148,8 +148,8 @@ jobs:
@@ -148,8 +148,8 @@ jobs:
|
|
|
|
|
- name: Fetch Sources |
|
|
|
|
uses: actions/checkout@v5 |
|
|
|
|
with: |
|
|
|
|
ref: ${{ github.event.pull_request.head.sha }} # to check out the actual pull request commit, not the merge commit |
|
|
|
|
fetch-depth: 0 # a full history is required for pull request analysis |
|
|
|
|
ref: ${{ github.event.pull_request.head.sha }} # to check out the actual pull request commit, not the merge commit |
|
|
|
|
fetch-depth: 0 # a full history is required for pull request analysis |
|
|
|
|
|
|
|
|
|
# Set up the Java environment for the next steps |
|
|
|
|
- name: Setup Java |
|
|
|
|
|