diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml
index 7b919fcf..5c91fa98 100644
--- a/.github/workflows/clippy.yml
+++ b/.github/workflows/clippy.yml
@@ -11,7 +11,7 @@ jobs:
   clippy_check:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index 766dc6bd..9f3751dc 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -11,9 +11,9 @@ jobs:
   deploy_docs:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - name: Checkout website repository
-        uses: actions/checkout@v3.0.2
+        uses: actions/checkout@v4.2.2
         with:
           repository: gz/bespin-benchmarks
           path: gh-pages
diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
index f5d055a0..27ee301a 100644
--- a/.github/workflows/format.yml
+++ b/.github/workflows/format.yml
@@ -14,7 +14,7 @@ jobs:
   formatting:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init
diff --git a/.github/workflows/rebase.yml b/.github/workflows/rebase.yml
index eb36d2e9..aea9cdb2 100644
--- a/.github/workflows/rebase.yml
+++ b/.github/workflows/rebase.yml
@@ -9,7 +9,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout the latest code
-        uses: actions/checkout@v3.0.2
+        uses: actions/checkout@v4.2.2
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           fetch-depth: 0 # otherwise, you will fail to push refs to dest repo
diff --git a/.github/workflows/skylake2x-tests.yml b/.github/workflows/skylake2x-tests.yml
index 5bc73a45..6766fccf 100644
--- a/.github/workflows/skylake2x-tests.yml
+++ b/.github/workflows/skylake2x-tests.yml
@@ -23,7 +23,7 @@ jobs:
     if: ${{ needs.pre_job.outputs.should_skip != 'true' }}
     runs-on: [self-hosted, skylake2x]
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init
@@ -38,7 +38,7 @@ jobs:
     if: ${{ needs.pre_job.outputs.should_skip != 'true' }}
     runs-on: [self-hosted, skylake2x]
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init
diff --git a/.github/workflows/skylake4x-tests.yml b/.github/workflows/skylake4x-tests.yml
index aacca4ab..a8fa0b49 100644
--- a/.github/workflows/skylake4x-tests.yml
+++ b/.github/workflows/skylake4x-tests.yml
@@ -23,7 +23,7 @@ jobs:
     if: ${{ needs.pre_job.outputs.should_skip != 'true' }}
     runs-on: [self-hosted, skylake4x]
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init
@@ -38,7 +38,7 @@ jobs:
     if: ${{ needs.pre_job.outputs.should_skip != 'true' }}
     runs-on: [self-hosted, skylake4x]
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 92c8e078..535d47bb 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -15,7 +15,7 @@ jobs:
   compile_and_test:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3.0.2
+      - uses: actions/checkout@v4.2.2
       - run: |
           sed -i'' -e 's/git@github.com:/https:\/\/github.com\//' .gitmodules
           git submodule update --init