|
|
|
|
@ -41,7 +41,7 @@ jobs:
@@ -41,7 +41,7 @@ jobs:
|
|
|
|
|
|
|
|
|
|
# Check out the current repository |
|
|
|
|
- name: Fetch Sources |
|
|
|
|
uses: actions/checkout@v4 |
|
|
|
|
uses: actions/checkout@v5 |
|
|
|
|
|
|
|
|
|
# Set up the Java environment for the next steps |
|
|
|
|
- name: Setup Java |
|
|
|
|
@ -92,7 +92,7 @@ jobs:
@@ -92,7 +92,7 @@ jobs:
|
|
|
|
|
|
|
|
|
|
# Check out the current repository |
|
|
|
|
- name: Fetch Sources |
|
|
|
|
uses: actions/checkout@v4 |
|
|
|
|
uses: actions/checkout@v5 |
|
|
|
|
|
|
|
|
|
# Set up the Java environment for the next steps |
|
|
|
|
- name: Setup Java |
|
|
|
|
@ -146,7 +146,7 @@ jobs:
@@ -146,7 +146,7 @@ jobs:
|
|
|
|
|
|
|
|
|
|
# Check out the current repository |
|
|
|
|
- name: Fetch Sources |
|
|
|
|
uses: actions/checkout@v4 |
|
|
|
|
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 |
|
|
|
|
@ -180,7 +180,7 @@ jobs:
@@ -180,7 +180,7 @@ jobs:
|
|
|
|
|
|
|
|
|
|
# Check out the current repository |
|
|
|
|
- name: Fetch Sources |
|
|
|
|
uses: actions/checkout@v4 |
|
|
|
|
uses: actions/checkout@v5 |
|
|
|
|
|
|
|
|
|
# Set up the Java environment for the next steps |
|
|
|
|
- name: Setup Java |
|
|
|
|
@ -220,7 +220,7 @@ jobs:
@@ -220,7 +220,7 @@ jobs:
|
|
|
|
|
|
|
|
|
|
# Check out the current repository |
|
|
|
|
- name: Fetch Sources |
|
|
|
|
uses: actions/checkout@v4 |
|
|
|
|
uses: actions/checkout@v5 |
|
|
|
|
|
|
|
|
|
# Remove old release drafts by using the curl request for the available releases with a draft flag |
|
|
|
|
- name: Remove Old Release Drafts |
|
|
|
|
|