message: Without a Cargo.lock it makes no sense to use --locked
diff: @@ -16,9 +16,9 @@ script:
  xargo/build.sh
  - |
  # Test plain miri
  - cargo build --locked --release --all-features &&
  - cargo test --locked --release --all-features --all &&
  - cargo install --locked --all-features
  + cargo build --release --all-features &&
  + cargo test --release --all-features --all &&
  + cargo install --all-features
  - |
  # Test cargo miri
  cd cargo-miri-test &&
  @@ -27,11 +27,11 @@ script:
  cd ..
  - |
  # and run all tests with full mir
  - MIRI_SYSROOT=~/.xargo/HOST cargo test --locked --release
  + MIRI_SYSROOT=~/.xargo/HOST cargo test --release
  - |
  # test that the rustc_tests binary compiles
  cd rustc_tests &&
  - cargo build --locked --release &&
  + cargo build --release &&
  cd ..
  notifications:
  email:
  