From d8e469cd2ea459b3e75d7a9c4c1ad6b1821ec55d Mon Sep 17 00:00:00 2001
From: Nicholas Bishop <nbishop@nbishop.net>
Date: Fri, 24 Feb 2023 15:57:49 -0500
Subject: [PATCH] xtask: Enable strict provenance checks in Miri

---
 xtask/src/cargo.rs | 1 +
 1 file changed, 1 insertion(+)

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";