Skip to content

build(deps): bump the rust-dependencies group across 5 directories with 5 updates - #795

Open
dependabot[bot] wants to merge 3 commits into
mainfrom
dependabot/cargo/rust-dependencies-c6a39897ed
Open

build(deps): bump the rust-dependencies group across 5 directories with 5 updates#795
dependabot[bot] wants to merge 3 commits into
mainfrom
dependabot/cargo/rust-dependencies-c6a39897ed

Pin vstd to Verus release version

c6eca8d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar