Update Miri script
Closes
@@ -5,7 +5,7 @@ echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
rustup set profile minimal
rustup default "$MIRI_NIGHTLY"
rustup component add miri
-cargo miri setup
# The `-Zmiri-disable-isolation` is so Miri can access the system clock
# while calling `SystemTime::now()` in one of the tests.
-cargo miri test --features="std" -- -Zmiri-disable-isolation
+export MIRIFLAGS="-Zmiri-disable-isolation"
+cargo miri test --features="std"
