try to make the Windows CI not rebuild Miri (#750)

try to make the Windows CI not rebuild Miri
This commit is contained in:
Ralf Jung 2019-05-29 15:52:56 +02:00 committed by GitHub
commit a5224b0dc1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -33,7 +33,7 @@ build_script:
- set RUSTFLAGS=-C debug-assertions
# Build and install miri
- cargo build --release --all-features --all-targets
- cargo install --all-features --force --path .
- cargo install --all-features --force --path . --locked --offline
# Get ourselves a MIR-full libstd, and use it henceforth
- cargo miri setup
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST