diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e5d7168..83f5221 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -277,7 +277,7 @@ jobs:
     # `differential` feature additionally pulls wasmtime. Both build here.
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v6
+      - uses: actions/checkout@v7
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
       - name: Install Z3