message: chore: cargo build --locked in tip
diff: @@ -53,7 +53,7 @@ if [ "$1" == "cli" ]; then
  echo "Your local 'Cargo.lock' is not identical to the commited 'Cargo.lock."
  echo "It may not synchronized with one of the 'Cargo.toml' project files. Refusing to proceed."
  echo "It likely means that the dependencies recorded in 'Cargo.lock' are different from the ones specified in one of the 'Cargo.toml'."
  - echo "Try 'git restore Cargo.lock && cargo clean && cargo build'. If that doesn't help:"
  + echo "Try 'git restore Cargo.lock && cargo clean && cargo build --locked'. If that doesn't help:"
  echo "Update the lockfile, for example by rebuilding the project(s), then commit the changes to the lockfile, and retry."
  exit 1
  fi
  