Bump the github-actions-deps group with 2 updates (#3705)

Author: wadoon

.github/workflows/javadoc.yml

@@ -27,7 +27,7 @@ jobs:
         run: tar cvfj javadoc.tar.bz2 build/docs/javadoc
 
       - name: Upload Javadoc
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         with:
           name: javadoc
           path: "javadoc.tar.bz2"

.github/workflows/opttest.yml

@@ -30,7 +30,7 @@ jobs:
         run: ./gradlew --continue ${{ matrix.tests }}
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         if: success() || failure()
         with:
           name: test-results-${{ matrix.tests }}

.github/workflows/sonarqube.yml

@@ -22,13 +22,13 @@ jobs:
           java-version: 21
           distribution: 'zulu' 
       - name: Cache SonarCloud packages
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: ~/.sonar/cache
           key: ${{ runner.os }}-sonar
           restore-keys: ${{ runner.os }}-sonar
       - name: Cache Gradle packages
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: ~/.gradle/caches
           key: ${{ runner.os }}-gradle-${{ hashFiles('**/*.gradle') }}

.github/workflows/tests.yml

@@ -61,7 +61,7 @@ jobs:
         run: ./gradlew --continue -DjacocoEnabled=true :${{ matrix.modules }}:test
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         if: success() || failure()
         with:
           name: test-results-${{ matrix.os }}-${{ matrix.modules }}
@@ -102,7 +102,7 @@ jobs:
         run: ./gradlew --continue ${{ matrix.test }}
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         if: success() || failure()        # run this step even if previous step failed
         with:
           name: test-results-${{ matrix.test }}

.github/workflows/tests_winmac.yml

@@ -46,7 +46,7 @@ jobs:
         run: ./gradlew --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         if: success() || failure()
         with:
           name: unit-test-results-${{matrix.test}}-${{ matrix.os }}-${{ matrix.java }}
@@ -86,7 +86,7 @@ jobs:
         run: ./gradlew --continue ${{ matrix.test }}
 
       - name: Upload test results
-        uses: actions/upload-artifact@v5
+        uses: actions/upload-artifact@v6
         if: success() || failure()        # run this step even if a previous step failed
         with:
           name: integration-test-results-${{matrix.test}}-${{ matrix.os }}-${{ matrix.java }}