From 93ef978c5c5d473596a42b2167428594a7a46901 Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Sat, 27 Aug 2022 00:16:38 -0400 Subject: [PATCH] Remove -Zmiri-strict-provenance from MIRIFLAGS --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 952277108..c11b08dfd 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -242,4 +242,4 @@ jobs: rustup toolchain install nightly --component miri rustup override set nightly cargo miri setup - - run: MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-strict-provenance" cargo miri test + - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test