Merge pull request #328 from viperproject/dependabot/github_actions/all-e3a99d68b4

Bump the all group across 1 directory with 6 updates

Author: rayman2000

.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@v6
       - 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@v6
         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@v6
         with:
           name: versions.txt
           path: versions.txt
@@ -97,7 +97,7 @@ jobs:
         # note that the cache path is relative to the directory in which sbt is invoked.
 
       - name: Cache SBT
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: |
             viperserver/sbt-cache/.sbtboot
@@ -115,7 +115,7 @@ jobs:
 
       - name: Upload log files
         if: ${{ failure() }}
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v6
         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@v6
         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@v6
         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@v6
         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@v6
         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@v6
         with:
           repository: viperproject/silicon
           path: silicon
 
       - name: Download ViperServer test fat JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v7
         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@v6
         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@v7
         with:
           name: viperserver-skinny-jars
           path: deploy
 
       - name: Download ViperServer fat JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v7
         with:
           name: viperserver-fat-jar
           path: deploy
 
       - name: Download version file
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v7
         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@v7
         with:
           name: viperserver-skinny-jars
           path: deploy
 
       - name: Download ViperServer fat JAR
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v7
         with:
           name: viperserver-fat-jar
           path: deploy
 
       - name: Download version file
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v7
         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@v6
         with:
           submodules: true
 
@@ -54,7 +54,7 @@ jobs:
 
       - name: Open a pull request
         id: pr
-        uses: peter-evans/create-pull-request@v7
+        uses: peter-evans/create-pull-request@v8
         if: (env.PREV_SILICON_REF != env.CUR_SILICON_REF) || (env.PREV_CARBON_REF != env.CUR_CARBON_REF)
         with:
           # Use viper-admin's token to workaround a restriction of GitHub.