Remove problematic cargo run --example | ...

wrsturgeon · Sep 16, 2023 · d46c2a7 · d46c2a7
1 parent b4ddb47
commit d46c2a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci-local.sh b/ci-local.sh
@@ -8,7 +8,7 @@ cargo clippy --all-targets --all-features
 
 export MIRIFLAGS=-Zmiri-backtrace=1
 export RUST_BACKTRACE=1
-cargo run --example 2>&1 | grep '^ ' | xargs -n 1 cargo +nightly miri run --no-default-features --example
+# cargo run --example 2>&1 | grep '^ ' | xargs -n 1 cargo +nightly miri run --no-default-features --example
 cargo +nightly miri test --no-default-features
 cargo +nightly miri test --no-default-features --examples
 cargo test --no-default-features