diff --git a/.github/workflows/codespell.yml b/.github/workflows/codespell.yml
index b8eb095..bdcbbfc 100644
--- a/.github/workflows/codespell.yml
+++ b/.github/workflows/codespell.yml
@@ -4,7 +4,7 @@ jobs:
   codespell:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: codespell-project/actions-codespell@master
         with:
           ignore_words_list: errorprone,keypair,keypairs
diff --git a/.github/workflows/concretization.yml b/.github/workflows/concretization.yml
index 2f1504f..8eec07a 100644
--- a/.github/workflows/concretization.yml
+++ b/.github/workflows/concretization.yml
@@ -8,7 +8,7 @@ jobs:
     strategy:
       fail-fast: true
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: actions/setup-java@v5
         with:
           java-version: '17'
@@ -39,7 +39,7 @@ jobs:
     strategy:
       fail-fast: true
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: actions/setup-java@v5
         with:
           java-version: '17'
diff --git a/.github/workflows/shellcheck.yml b/.github/workflows/shellcheck.yml
index 0410d63..a26e70a 100644
--- a/.github/workflows/shellcheck.yml
+++ b/.github/workflows/shellcheck.yml
@@ -4,7 +4,7 @@ jobs:
   shellcheck:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: ludeeus/action-shellcheck@master
         with:
           scandir: './scripts'
diff --git a/.github/workflows/spotless.yml b/.github/workflows/spotless.yml
index 43a9210..8e9a11c 100644
--- a/.github/workflows/spotless.yml
+++ b/.github/workflows/spotless.yml
@@ -5,7 +5,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@v5
+        uses: actions/checkout@v6
       - name: Set up JDK 17
         uses: actions/setup-java@v5
         with: