diff --git a/appveyor.yml b/appveyor.yml index 09040ed42a58..a46214a3c45c 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -27,13 +27,17 @@ build: false test_script: - set RUST_TEST_NOCAPTURE=1 - set RUST_BACKTRACE=1 - # Build miri + # Build and install miri - cargo build --release --all-features --all-targets + - cargo install --all-features --force --path . # Get ourselves a MIR-full libstd, and use it henceforth - - cargo run --release --all-features --bin cargo-miri -- miri setup + - cargo miri setup - set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST # Test miri - cargo test --release --all-features + # Test cargo integration + - cd test-cargo-miri + - python3 run-test.py notifications: - provider: Email