chore(deps): bump actions/checkout from 2 to 4 in /.github/workflows

.github/workflows/check_only_keyword.yml

@@ -13,7 +13,7 @@ jobs:
       issues: write
       pull-requests: write
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         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@v2
+      - uses: actions/checkout@v4
       - name: not-grep
         uses: mattsb42-meta/[email protected]

.github/workflows/dafny_interop_test_net.yml

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

.github/workflows/dafny_interop_test_vector_net.yml

@@ -49,7 +49,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
           fetch-depth: 0
@@ -159,7 +159,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
           fetch-depth: 0
@@ -261,7 +261,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - name: Init Submodules
         shell: bash
         run: |

.github/workflows/duvet.yaml

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

.github/workflows/library_dafny_verification.yml

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

.github/workflows/library_go_tests.yml

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

.github/workflows/library_interop_test_vectors.yml

@@ -46,7 +46,7 @@ jobs:
             role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2 
             role-session-name: InterOpTests
 
-        - uses: actions/checkout@v3
+        - uses: actions/checkout@v4
         #  Not all submodules are needed.
         # We manually pull the submodule we DO need.
         - run: git submodule update --init libraries
@@ -225,7 +225,7 @@ jobs:
           role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2 
           role-session-name: InterOpTests
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       #  Not all submodules are needed.
       # We manually pull the submodule we DO need.
       - run: git submodule update --init libraries

.github/workflows/library_interop_tests.yml

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

.github/workflows/library_java_tests.yml

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

.github/workflows/library_legacy_interop_test_vectors.yml

@@ -50,7 +50,7 @@ jobs:
           run: |
             git config --global core.longpaths true
 
-        - uses: actions/checkout@v3
+        - uses: actions/checkout@v4
           with:
             submodules: true
         #  Not all submodules are needed.

.github/workflows/library_net_tests.yml

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

.github/workflows/library_rust_tests.yml

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

.github/workflows/sem_ver.yml

@@ -15,7 +15,7 @@ jobs:
         run: |
           git config --global core.longpaths true
 
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
       # We need access to the role that is able to get CI Bot Creds

.github/workflows/semantic_release.yml

@@ -23,7 +23,7 @@ jobs:
       - name: Support longpaths on Git checkout
         run: |
           git config --global core.longpaths true
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       # We only pull in the submodules we need to build the library
       - run: git submodule update --init libraries
 

.github/workflows/smithy-diff.yml

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