diff --git a/.github/workflows/clause-conformance.yml b/.github/workflows/clause-conformance.yml
index 6092750..2166733 100644
--- a/.github/workflows/clause-conformance.yml
+++ b/.github/workflows/clause-conformance.yml
@@ -16,8 +16,8 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 5
     steps:
-      - uses: actions/checkout@v4
-      - uses: actions/setup-python@v5
+      - uses: actions/checkout@v7
+      - uses: actions/setup-python@v7
         with:
           python-version: '3.11'
       - name: Check clause-to-test mapping
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 7a0c611..13ddb14 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -19,7 +19,7 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 60
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
 
       - uses: model-checking/kani-github-action@v1
         with:
diff --git a/.github/workflows/mutation-testing.yml b/.github/workflows/mutation-testing.yml
index f9a2fec..7b97c72 100644
--- a/.github/workflows/mutation-testing.yml
+++ b/.github/workflows/mutation-testing.yml
@@ -20,7 +20,7 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 240
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
 
       - uses: dtolnay/rust-toolchain@stable
 
@@ -43,7 +43,7 @@ jobs:
             done
           } >> "$GITHUB_STEP_SUMMARY"
 
-      - uses: actions/upload-artifact@v4
+      - uses: actions/upload-artifact@v7
         if: always()
         with:
           name: mutation-reports
diff --git a/.github/workflows/panic-free.yml b/.github/workflows/panic-free.yml
index f6b6e6c..ef0f021 100644
--- a/.github/workflows/panic-free.yml
+++ b/.github/workflows/panic-free.yml
@@ -17,6 +17,6 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 5
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
       - name: Check the panic-free policy
         run: bash scripts/check_panic_free.sh