ci/miri: check in strict provenance mode

RalfJung · RalfJung · commit 898378375d8e · 2023-03-12T17:57:26.000+01:00
diff --git a/ci/miri.sh b/ci/miri.sh
@@ -9,4 +9,4 @@ rustup toolchain install nightly --component miri
 rustup override set nightly
 cargo miri setup
 
-MIRIFLAGS='-Zmiri-retag-fields' cargo miri test
+MIRIFLAGS='-Zmiri-strict-provenance' cargo miri test
