diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
index 1785da3..6c492ca 100644
--- a/.github/workflows/benchmark.yml
+++ b/.github/workflows/benchmark.yml
@@ -46,7 +46,7 @@ jobs:
           --health-interval=5s --health-timeout=5s --health-retries=20
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
 
       - name: CPU info
         run: |
diff --git a/.github/workflows/differential.yml b/.github/workflows/differential.yml
index 1a685c0..6155c43 100644
--- a/.github/workflows/differential.yml
+++ b/.github/workflows/differential.yml
@@ -34,7 +34,7 @@ jobs:
           --health-interval=5s --health-timeout=5s --health-retries=20
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
 
       - uses: dtolnay/rust-toolchain@stable
 
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 77cf9f5..5d956cd 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -23,7 +23,7 @@ jobs:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v7
-      - uses: actions/setup-python@v6
+      - uses: actions/setup-python@v7
         with:
           python-version: "3.12"
       - run: pip install -r docs/requirements.txt
diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
index 10de92b..fbd02b5 100644
--- a/.github/workflows/fuzz.yml
+++ b/.github/workflows/fuzz.yml
@@ -38,7 +38,7 @@ jobs:
 
       - name: Upload crash artifacts
         if: failure()
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v7
         with:
           name: fuzz-artifacts
           path: fuzz/artifacts/
diff --git a/.github/workflows/scenarios.yml b/.github/workflows/scenarios.yml
index 4955897..15c7021 100644
--- a/.github/workflows/scenarios.yml
+++ b/.github/workflows/scenarios.yml
@@ -43,7 +43,7 @@ jobs:
           --health-interval=5s --health-timeout=5s --health-retries=20
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
 
@@ -73,7 +73,7 @@ jobs:
     name: Durability & concurrency invariants
     runs-on: ubuntu-24.04
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
 
@@ -95,7 +95,7 @@ jobs:
     name: Privilege enforcement & hostile input
     runs-on: ubuntu-24.04
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v7
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2