diff --git a/xtask/src/cargo.rs b/xtask/src/cargo.rs index bbafe1746..64901a2da 100644 --- a/xtask/src/cargo.rs +++ b/xtask/src/cargo.rs @@ -269,6 +269,7 @@ impl Cargo { CargoAction::Miri => { action = "miri"; sub_action = Some("test"); + cmd.env("MIRIFLAGS", "-Zmiri-strict-provenance"); } CargoAction::Test => { action = "test";