Update actions/checkout action to v4.1.7

.github/workflows/actionlint.yml

@@ -9,7 +9,7 @@ jobs:
   actionlint:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
       - 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/[email protected].6
+      - uses: actions/[email protected].7
 
       - name: setup
         shell: cmd

.github/workflows/build_with_s2e.yml

@@ -24,23 +24,23 @@ jobs:
 
     steps:
       - name: checkout S2E core
-        uses: actions/[email protected].6
+        uses: actions/[email protected].7
         with:
           path: s2e-core
           repository: ut-issl/s2e-core
           ref: '${{ env.S2E_CORE_VERSION }}'
           fetch-depth: 1
 
       - name: checkout S2E user
-        uses: actions/[email protected].6
+        uses: actions/[email protected].7
         with:
           path: s2e-user
           repository: ut-issl/s2e-user-for-c2a-core
           ref: ae-v3.0.0  # TODO: import s2e-user-for-c2a-core to c2a-core
           fetch-depth: 1
 
       - name: checkout C2A user
-        uses: actions/[email protected].6
+        uses: actions/[email protected].7
         with:
           path: c2a-core
 

.github/workflows/check_code_generation.yml

@@ -19,7 +19,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
 
       - name: prepare code-generator settings
         working-directory: ./code-generator

.github/workflows/check_encoding.yml

@@ -11,7 +11,7 @@ jobs:
   check_encoding:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
       - uses: actions/[email protected]
         with:
           python-version-file: .github/workflows/.python-version

.github/workflows/deploy-reference.yml

@@ -19,7 +19,7 @@ jobs:
           sudo apt-get update -y
           sudo apt install -y doxygen graphviz
 
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
 
       - name: C2A setup
         run: ./setup.sh

.github/workflows/labeler.yml

@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
 
       - name: Run Labeler
         uses: crazy-max/[email protected]

.github/workflows/pytest.yml

@@ -37,7 +37,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/[email protected].6
+    - uses: actions/[email protected].7
       with:
         submodules: recursive
 

.github/workflows/python_check_format.yml

@@ -11,7 +11,7 @@ jobs:
   black_format:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
 
       - 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/[email protected].6
+      - uses: actions/[email protected].7
 
       - name: Set up python environment
         uses: actions/[email protected]

.github/workflows/rust.yml

@@ -17,7 +17,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
 
       - name: install dependencies
         run: |

.github/workflows/validate-renovate.yml

@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/[email protected].6
+      - uses: actions/[email protected].7
       - uses: actions/[email protected]
 
       - name: install