Try one more thing for now
@@ -10,13 +10,13 @@ if [ "$APPVEYOR_OS_NAME" = "linux" ]; then export PATH="/home/appveyor/.cargo/bi
if [ "$APPVEYOR_OS_NAME" = "osx" ]; then export PATH="$HOME/.cargo/bin:$PATH"; fi
if [ "$APPVEYOR_OS_NAME" = "linux" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri); fi
if [ "$APPVEYOR_OS_NAME" = "osx" ]; then MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-apple-darwin/miri); fi
-echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
-rustup set profile minimal
-rustup default "$MIRI_NIGHTLY"
-rustup component add miri
+# echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+# rustup set profile minimal
+# rustup default "$MIRI_NIGHTLY"
+# rustup component add miri
# The `-Zmiri-disable-isolation` is so Miri can access the system clock
# while calling `SystemTime::now()` in one of the tests.
-export MIRIFLAGS="-Zmiri-disable-isolation"
+# export MIRIFLAGS="-Zmiri-disable-isolation"
# We run the suite once under Miri with all functionality enabled, and then once
# normally without the default features just to make sure `no_std` support has
# not been broken.
@@ -25,4 +25,4 @@ export MIRIFLAGS="-Zmiri-disable-isolation"
# cargo clean
# cargo test --no-default-features
cargo clean
-if [ "$APPVEYOR_OS_NAME" = "linux" ]; then cd ./fuzz && cargo rustc -- -Cpasses=sancov -Cllvm-args=-sanitizer-coverage-level=3 -Cllvm-args=-sanitizer-coverage-inline-8bit-counters -Z sanitizer=address && ./target/debug/ops; fi
\ No newline at end of file
+if [ "$APPVEYOR_OS_NAME" = "linux" ]; then cd ./fuzz && cargo install cargo-fuzz && cargo fuzz run ops; fi
