chore(deps): bump actions/checkout from 6 to 7 in /.github/workflows

.github/workflows/check_only_keyword.yml

@@ -13,7 +13,7 @@ jobs:
       issues: write
       pull-requests: write
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           fetch-depth: 0
 

.github/workflows/ci_static-analysis.yaml

@@ -7,6 +7,6 @@ jobs:
   not-grep:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: not-grep
         uses: mattsb42-meta/not-grep@1.0.1

.github/workflows/dafny_format_version.yaml

@@ -16,7 +16,7 @@ jobs:
     outputs:
       version: ${{ steps.read_property.outputs.dafnyFormatVersion }}
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Read version from Properties-file
         id: read_property
         uses: christian-draeger/read-properties@1.1.1

.github/workflows/dafny_interop_library_go_tests.yml

@@ -40,7 +40,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/dafny_interop_test_net.yml

@@ -46,7 +46,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: recursive
           fetch-depth: 0

.github/workflows/dafny_interop_test_vector_net.yml

@@ -45,7 +45,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: recursive
           fetch-depth: 0
@@ -153,7 +153,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: recursive
           fetch-depth: 0
@@ -253,7 +253,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/dafny_verify_version.yaml

@@ -16,7 +16,7 @@ jobs:
     outputs:
       version: ${{ steps.read_property.outputs.dafnyVerifyVersion }}
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Read version from Properties-file
         id: read_property
         uses: christian-draeger/read-properties@1.1.1

.github/workflows/dafny_version.yaml

@@ -16,7 +16,7 @@ jobs:
     outputs:
       version: ${{ steps.read_property.outputs.dafnyVersion }}
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Read version from Properties-file
         id: read_property
         uses: christian-draeger/read-properties@1.1.1

.github/workflows/duvet.yaml

@@ -24,7 +24,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: true
 

.github/workflows/go-release.yml

@@ -38,7 +38,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
 
       - name: Checkout repository
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
         with:
           fetch-depth: 0
           token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/library_codegen.yml

@@ -31,7 +31,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries

.github/workflows/library_dafny_verification.yml

@@ -29,7 +29,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         run: |
           git submodule update --init libraries

.github/workflows/library_format.yml

@@ -32,7 +32,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: recursive
 

.github/workflows/library_go_tests.yml

@@ -36,7 +36,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/library_interop_keyring_test_vectors.yml

@@ -52,7 +52,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
           role-duration-seconds: 7200
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 
@@ -73,15 +73,15 @@ jobs:
 
       - name: Checkout C-ESDK
         if: matrix.language == 'c'
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
         with:
           repository: "aws/aws-encryption-sdk-c"
           path: ./${{ matrix.library }}/aws-encryption-sdk-c
           submodules: recursive
 
       - name: Checkout AWS C++ SDK
         if: matrix.language == 'c'
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
         with:
           repository: "aws/aws-sdk-cpp"
           path: ./${{ matrix.library }}/aws-encryption-sdk-c/aws-sdk-cpp
@@ -347,7 +347,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
           role-duration-seconds: 7200
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 
@@ -368,15 +368,15 @@ jobs:
 
       - name: Checkout C-ESDK
         if: matrix.decrypting_language == 'c'
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
         with:
           repository: "aws/aws-encryption-sdk-c"
           path: ./${{ matrix.library }}/aws-encryption-sdk-c
           submodules: recursive
 
       - name: Checkout AWS C++ SDK
         if: matrix.decrypting_language == 'c'
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
         with:
           repository: "aws/aws-sdk-cpp"
           path: ./${{ matrix.library }}/aws-encryption-sdk-c/aws-sdk-cpp

.github/workflows/library_interop_mkp_test_vectors.yml

@@ -68,7 +68,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
           role-duration-seconds: 3600
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 
@@ -259,7 +259,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
           role-duration-seconds: 3600
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 
@@ -553,7 +553,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 
@@ -619,7 +619,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 
@@ -697,7 +697,7 @@ jobs:
           special-characters-workaround: "true" # Some environments (example: windowsOS) cannot tolerate special characters in a secret key.
           role-duration-seconds: 3600
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 

.github/workflows/library_interop_tests.yml

@@ -41,7 +41,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |
@@ -140,7 +140,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |
@@ -240,7 +240,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/library_java_tests.yml

@@ -35,7 +35,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         run: |
           git submodule update --init libraries

.github/workflows/library_legacy_interop_test_vectors.yml

@@ -51,7 +51,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: "recursive"
 

.github/workflows/library_net_tests.yml

@@ -48,7 +48,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |
@@ -161,7 +161,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/library_rust_tests.yml

@@ -34,7 +34,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |
@@ -136,7 +136,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/performance-benchmarks-go.yml

@@ -37,7 +37,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/performance-benchmarks-java.yml

@@ -26,7 +26,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/performance-benchmarks-net.yml

@@ -37,7 +37,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/performance-benchmarks-python.yml

@@ -20,7 +20,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/performance-benchmarks-rust.yml

@@ -34,7 +34,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/rust-release.yml

@@ -41,7 +41,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
 
       - name: Setup Rust Toolchain for GitHub CI
         uses: actions-rust-lang/setup-rust-toolchain@v1

.github/workflows/rust-start-release.yml

@@ -54,7 +54,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           ref: mainline
           fetch-depth: 0

.github/workflows/rust_duplicate_deps.yml

@@ -32,7 +32,7 @@ jobs:
   duplicate-aws-lc:
     runs-on: ubuntu-22.04
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
         with:
           submodules: recursive