diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 32cca92..fb1d05f 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,7 +10,7 @@ env:
   RUST_BACKTRACE: 1
   # Kept in sync with the `vstd` crate version in Cargo.toml by Renovate
   # (see .github/renovate.json5 — the `verus` group bundles the two updates).
-  VERUS_TAG: release/0.2026.04.19.6f7d4de
+  VERUS_TAG: release/0.2026.04.24.f8e1704
 
 permissions:
   contents: read
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index 730e0d5..f084c55 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/verify.yml
@@ -8,7 +8,7 @@ on:
 env:
   CARGO_TERM_COLOR: always
   RUST_BACKTRACE: 1
-  VERUS_TAG: release/0.2026.04.19.6f7d4de
+  VERUS_TAG: release/0.2026.04.24.f8e1704
 
 permissions:
   contents: read