Skip to content

Commit 2cf66d8

Browse files
authored
fix: pin version in cargo-verus vstd test (#2646)
1 parent 5414b48 commit 2cf66d8

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

source/cargo-verus/tests/test_vstd_sources.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ const VSTD_VERSION: &str = "0.0.0-2026-06-14-0213";
1616
fn package_depends_on_vstd_directly_via_registry() {
1717
let package = MockPackage::new("vstd_consumer")
1818
.lib()
19-
.deps([MockDep::registry("vstd", VSTD_VERSION).alias("vstd_via_registry")])
19+
.deps([MockDep::registry("vstd", &format!("={VSTD_VERSION}")).alias("vstd_via_registry")])
2020
.verify(true)
2121
.materialize();
2222

0 commit comments

Comments
 (0)