Update actions/checkout action to v4

.github/workflows/actionlint.yml

@@ -9,7 +9,7 @@ jobs:
   actionlint:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: reviewdog/action-actionlint@v1
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/build_as_cxx.yml

@@ -18,7 +18,7 @@ jobs:
           - subobc
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: setup
         shell: cmd

.github/workflows/build_with_s2e.yml

@@ -24,22 +24,22 @@ jobs:
 
     steps:
       - name: checkout S2E core
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: s2e-core
           repository: ut-issl/s2e-core
           ref: '${{ env.S2E_CORE_VERSION }}'
           fetch-depth: 1
 
       - name: checkout S2E user
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: s2e-user
           repository: ut-issl/s2e-user-for-c2a-core
           fetch-depth: 1
 
       - name: checkout C2A user
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           path: c2a-core
 

.github/workflows/check_coding_rule.yml

@@ -18,7 +18,7 @@ jobs:
           - subobc
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: actions/setup-python@v4
         with:
           python-version-file: .github/workflows/.python-version

.github/workflows/check_encoding.yml

@@ -11,7 +11,7 @@ jobs:
   check_encoding:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: actions/setup-python@v4
         with:
           python-version-file: .github/workflows/.python-version

.github/workflows/labeler.yml

@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Run Labeler
         uses: crazy-max/ghaction-github-labeler@v4

.github/workflows/pytest.yml

@@ -37,7 +37,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v3.5.3
+    - uses: actions/checkout@v4.0.0
       with:
         submodules: recursive
 

.github/workflows/python_check_format.yml

@@ -11,7 +11,7 @@ jobs:
   black_format:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: install black formatter
         run: pip install black==23.1.0

.github/workflows/python_lint.yml

@@ -11,7 +11,7 @@ jobs:
   flake8_lint:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - name: Set up python environment
         uses: actions/setup-python@v4

.github/workflows/rust.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
 
       - uses: dtolnay/rust-toolchain@v1
         with:

.github/workflows/validate-renovate.yml

@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: actions/setup-node@v3
 
       - name: install