Bump actions/checkout from 5 to 6 in the github-actions-deps group (#3694)

Author: wadoon

.github/workflows/code_quality.yml

@@ -12,7 +12,7 @@ jobs:
   checkerFramework:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - name: Set up JDK 21
         uses: actions/setup-java@v5
         with:
@@ -27,7 +27,7 @@ jobs:
   formatting:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: actions/setup-java@v5
         with:
           distribution: 'corretto'

.github/workflows/gradle-publish.yml

@@ -12,7 +12,7 @@ jobs:
       packages: write
 
     steps:
-    - uses: actions/checkout@v5
+    - uses: actions/checkout@v6
     - name: Set up JDK 21
       uses: actions/setup-java@v5
       with:

.github/workflows/javadoc.yml

@@ -8,7 +8,7 @@ jobs:
   doc:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - run: ls -ld
       - run: ls -lh 'gradle'
 

.github/workflows/nightlydeploy.yml

@@ -23,7 +23,7 @@ jobs:
       #     ignorePreReleases: true
       #     fetchReviewers: true
 
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - name: Set up JDK 21
         uses: actions/setup-java@v5
         with:

.github/workflows/opttest.yml

@@ -16,7 +16,7 @@ jobs:
         tests: [":key.core.proof_references:test", ":key.core.symbolic_execution:test"]
     runs-on: ${{matrix.os}}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - name: Set up JDK ${{matrix.java}}
         uses: actions/setup-java@v5
         with:

.github/workflows/sonarqube.yml

@@ -13,7 +13,7 @@ jobs:
     name: Build and analyze
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
         with:
           fetch-depth: 0  # Shallow clones should be disabled for a better relevancy of analysis
       - name: Set up JDK 21

.github/workflows/tests.yml

@@ -34,7 +34,7 @@ jobs:
     env:
       GH_TOKEN: ${{ github.token }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Setup SMT solvers
         uses: keyproject/setup-smt@v0
@@ -85,7 +85,7 @@ jobs:
         java: [ 21 ]
     runs-on: ${{ matrix.os }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - name: Set up JDK 21
         uses: actions/setup-java@v5
         with:

.github/workflows/tests_winmac.yml

@@ -20,7 +20,7 @@ jobs:
     env:
       GH_TOKEN: ${{ github.token }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Setup SMT solvers
         uses: keyproject/setup-smt@v0
@@ -68,7 +68,7 @@ jobs:
         java: [21]
     runs-on: ${{ matrix.os }}
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
 
       - name: Setup SMT solvers
         uses: keyproject/setup-smt@v0