Merge japaric#264

264: CI: make sure the lockfile is up-to-date r=RalfJung a=RalfJung

@jethrogb This seems like a useful thing to do on CI?

Co-authored-by: Ralf Jung <[email protected]>

Author: bors[bot]

ci/script.sh

@@ -3,7 +3,7 @@ set -euxo pipefail
 beginswith() { case $2 in "$1"*) true;; *) false;; esac; }
 
 main() {
-    cross build --target $TARGET
+    cross build --target $TARGET --locked
     cross run --target $TARGET -- -V
 
     if beginswith nightly $TRAVIS_RUST_VERSION; then