Automate prompt
@@ -3,4 +3,4 @@ echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
rustup set profile minimal
rustup default "$MIRI_NIGHTLY"
rustup component add miri
-cargo miri test -j16 --features="std"
\ No newline at end of file
+yes | cargo miri test -j16 --features="std"
\ No newline at end of file
