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.
Detected Dependencies
cargo (5)
Cargo.toml (9)
paste 1criterion 0.8trybuild 1libfuzzer-sys 0.4arbitrary 1syn 2quote 1proc-macro2 1vstd =0.0.0-2026-04-20-1748
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@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain nightly@5b842231ba77f5c045dba54ac5560fed2db780e2Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccaeactions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83ddactions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccaedtolnay/rust-toolchain master@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32
.github/workflows/verify.yml (12)
actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain stable@29eef336d9b2848a0b548edc03f92a220660cdb8Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccaeactions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83ddactions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccaedtolnay/rust-toolchain master@3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/checkout v6@de0fac2e4500dabe0009e67214ff5f5447ce83dddtolnay/rust-toolchain nightly@5b842231ba77f5c045dba54ac5560fed2db780e2Swatinem/rust-cache v2@e18b497796c12c097a38f9edb9d0641fb99eee32actions/cache v5@27d5ce7f107fe9357f9df03efb73ab90386fccae
regex (2)
.github/workflows/ci.yml (1)
verus-lang/verus release/0.2026.04.24.f8e1704
.github/workflows/verify.yml (1)
verus-lang/verus release/0.2026.04.24.f8e1704
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.
Detected Dependencies
cargo (5)
github-actions (2)
regex (2)