Fix miri CI

al8n · Sep 11, 2024 · 598a614 · 598a614
1 parent b2f8e82
commit 598a614
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ci/miri_tb.sh b/ci/miri_tb.sh
@@ -5,7 +5,7 @@ rustup toolchain install nightly --component miri
 rustup override set nightly
 cargo miri setup
 
-export MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows"
+export MIRIFLAGS="-Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows"
 
 cargo miri test --tests --target x86_64-unknown-linux-gnu --all-features
 # cargo miri test --tests --target aarch64-unknown-linux-gnu #crossbeam_utils has problem on this platform

diff --git a/ci/miri_tb_generic.sh b/ci/miri_tb_generic.sh
@@ -5,6 +5,6 @@ rustup toolchain install nightly --component miri
 rustup override set nightly
 cargo miri setup
 
-export MIRIFLAGS="-Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows"
+export MIRIFLAGS="-Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-tree-borrows"
 
 cargo miri test --tests --all-features