From e639a97ecb0ee4c61226c77348ee2b283fc76246 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Mon, 13 Jul 2026 02:51:32 +0000
Subject: [PATCH] Update dependency verus-lang/verus to
 release/0.2026.07.12.0b42f4c

---
 .github/workflows/ci.yml     | 2 +-
 .github/workflows/verify.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 44310c5..a734bf5 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.07.05.49b8806
+  VERUS_TAG: release/0.2026.07.12.0b42f4c
 
 permissions:
   contents: read
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index 262db23..7fbed6c 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.07.05.49b8806
+  VERUS_TAG: release/0.2026.07.12.0b42f4c
 
 permissions:
   contents: read