try to make the Windows CI not rebuild Miri

diff --git a/.appveyor.yml b/.appveyor.yml
index 438a65880b8704efeba691c1af4addd3fecfb112..d13ce2b3974de8103cf8d4ce6f415e930742d468 100644 (file)
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -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