Dependency Dashboard

[renovate]

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.
View this repository on the Mend.io Web Portal.

Open

The following updates have all been created. To force a retry/rebase of any, click on a checkbox below.

• Update actions/cache digest to caa2961
• Update actions/checkout digest to df4cb1c
• Update dtolnay/rust-toolchain digest
• Update Rust crate libfuzzer-sys to v0.4.13
• Update actions/cache action to v6
• Update actions/checkout action to v7
• Lock file maintenance
• Click on this checkbox to rebase all open PRs at once

Detected Dependencies

cargo (5)

Cargo.toml (9)

• paste 1
• criterion 0.8
• trybuild 1
• libfuzzer-sys 0.4 → [Updates: 0.4]
• arbitrary 1
• syn 2
• quote 1
• proc-macro2 1
• vstd =0.0.0-2026-07-12-0122

crates/core/Cargo.toml

crates/macros/Cargo.toml

crates/verify/Cargo.toml

fuzz/Cargo.toml

github-actions (2)

.github/workflows/ci.yml (20)

• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain nightly@5b842231ba77f5c045dba54ac5560fed2db780e2 → [Updates: nightly]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccae → [Updates: v6, v5]
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccae → [Updates: v6, v5]
• dtolnay/rust-toolchain master@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9 → [Updates: master]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32

.github/workflows/verify.yml (12)

• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8 → [Updates: stable]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccae → [Updates: v6, v5]
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccae → [Updates: v6, v5]
• dtolnay/rust-toolchain master@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9 → [Updates: master]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dd → [Updates: v7, v6]
• dtolnay/rust-toolchain nightly@5b842231ba77f5c045dba54ac5560fed2db780e2 → [Updates: nightly]
• Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
• actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccae → [Updates: v6, v5]

regex (2)

.github/workflows/ci.yml (1)

• verus-lang/verus release/0.2026.07.12.0b42f4c

.github/workflows/verify.yml (1)

• verus-lang/verus release/0.2026.07.12.0b42f4c

rust-toolchain (1)

rust-toolchain.toml (1)

• rust stable

---

• Check this box to trigger a request for Renovate to run again on this repository