Bump the all group across 1 directory with 4 updates

Bumps the all group with 4 updates in the / directory: [actions/checkout](https://github.com/actions/checkout), [actions/upload-artifact](https://github.com/actions/upload-artifact), [actions/download-artifact](https://github.com/actions/download-artifact) and [actions/setup-java](https://github.com/actions/setup-java).


Updates `actions/checkout` from 4 to 5
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](actions/checkout@v4...v5)

Updates `actions/upload-artifact` from 4 to 5
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](actions/upload-artifact@v4...v5)

Updates `actions/download-artifact` from 4 to 6
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](actions/download-artifact@v4...v6)

Updates `actions/setup-java` from 4 to 5
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@v4...v5)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all
- dependency-name: actions/upload-artifact
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all
- dependency-name: actions/download-artifact
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all
- dependency-name: actions/setup-java
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
  dependency-group: all
...

Signed-off-by: dependabot[bot] <[email protected]>

Author: dependabot[bot]

.github/workflows/license-check.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout ViperServer repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
       - name: Check license headers
         uses: viperproject/check-license-header@v2
         with:

.github/workflows/scala.yml

@@ -55,7 +55,7 @@ jobs:
     container: viperproject/viperserver:v4_z3_4.8.7
     steps:
       - name: Checkout ViperServer
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           path: viperserver
           submodules: recursive
@@ -87,7 +87,7 @@ jobs:
           echo "Silver: commit ${{ env.SILICON_SILVER_REF }}" >> versions.txt
         # first line overwrites versions.txt in case it already exists, all other append to the file
       - name: Upload version file
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: versions.txt
           path: versions.txt
@@ -115,7 +115,7 @@ jobs:
 
       - name: Upload log files
         if: ${{ failure() }}
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: TestLogs
           path: viperserver/logs
@@ -129,7 +129,7 @@ jobs:
         working-directory: viperserver/target/universal/stage/lib
 
       - name: Upload ViperServer skinny JARs
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: viperserver-skinny-jars
           path: viperserver/viperserver-skinny-jars.zip
@@ -139,7 +139,7 @@ jobs:
         working-directory: viperserver
 
       - name: Upload ViperServer fat JAR
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: viperserver-fat-jar
           path: viperserver/target/scala-2.13/viperserver.jar
@@ -149,7 +149,7 @@ jobs:
         working-directory: viperserver
 
       - name: Upload ViperServer test fat JAR
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: viperserver-test-fat-jar
           path: viperserver/target/scala-2.13/viperserver-test.jar
@@ -171,20 +171,20 @@ jobs:
     steps:
       # we need to checkout the repo to have access to the test files
       - name: Checkout ViperServer
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           path: viperserver
 
       # we need to checkout the silicon repo to have access to the logback configuration file
       # as we do not use anything else except the logback config, we simply take the latest master branch (in all configurations)
       - name: Checkout Silicon
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: viperproject/silicon
           path: silicon
 
       - name: Download ViperServer test fat JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: viperserver-test-fat-jar
           path: viperserver
@@ -244,7 +244,7 @@ jobs:
         shell: bash
 
       - name: Setup Java JDK
-        uses: actions/setup-java@v4
+        uses: actions/setup-java@v5
         with:
           java-version: '11'
           distribution: 'temurin'
@@ -265,7 +265,7 @@ jobs:
 
       - name: Upload log files
         if: ${{ failure() }}
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: TestLogs-${{ runner.os }}
           path: viperserver/logs
@@ -281,19 +281,19 @@ jobs:
         run: sudo apt-get install curl
 
       - name: Download ViperServer skinny JARs
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: viperserver-skinny-jars
           path: deploy
 
       - name: Download ViperServer fat JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: viperserver-fat-jar
           path: deploy
 
       - name: Download version file
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: versions.txt
 
@@ -365,19 +365,19 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Download ViperServer skinny JARs
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: viperserver-skinny-jars
           path: deploy
 
       - name: Download ViperServer fat JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: viperserver-fat-jar
           path: deploy
 
       - name: Download version file
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: versions.txt
 

.github/workflows/update-submodules.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check out the repo
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true