[INFO] fetching crate vc-ltl 5.3.1...
[INFO] linting vc-ltl-5.3.1 against nightly for clippy-nonminimal_bool-denied
[INFO] extracting crate vc-ltl 5.3.1 into /workspace/builds/worker-1-tc1/source
[INFO] started tweaking crates.io crate vc-ltl 5.3.1
[INFO] finished tweaking crates.io crate vc-ltl 5.3.1
[INFO] tweaked toml for crates.io crate vc-ltl 5.3.1 written to /workspace/builds/worker-1-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate vc-ltl 5.3.1 on toolchain nightly
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate vc-ltl 5.3.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 239b34b27509fb4aa81fde38325e91bd5157ec029e48197d7a2c40fd0379e71e
[INFO] running `Command { std: "docker" "start" "-a" "239b34b27509fb4aa81fde38325e91bd5157ec029e48197d7a2c40fd0379e71e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "239b34b27509fb4aa81fde38325e91bd5157ec029e48197d7a2c40fd0379e71e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "239b34b27509fb4aa81fde38325e91bd5157ec029e48197d7a2c40fd0379e71e", kill_on_drop: false }`
[INFO] [stdout] 239b34b27509fb4aa81fde38325e91bd5157ec029e48197d7a2c40fd0379e71e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "clippy" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 619182081eb08c098af30962e72d8227a8926b38e18821108172a40c74fbf490
[INFO] running `Command { std: "docker" "start" "-a" "619182081eb08c098af30962e72d8227a8926b38e18821108172a40c74fbf490", kill_on_drop: false }`
[INFO] [stderr]    Compiling vc-ltl v5.3.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: this boolean expression can be simplified
[INFO] [stdout]   --> build.rs:13:8
[INFO] [stdout]    |
[INFO] [stdout] 13 |     if !std::env::var("CARGO_CFG_WINDOWS").is_ok()
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `std::env::var("CARGO_CFG_WINDOWS").is_err()`
[INFO] [stdout]    |
[INFO] [stdout]    = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#nonminimal_bool
[INFO] [stdout]    = note: `#[warn(clippy::nonminimal_bool)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unneeded `return` statement
[INFO] [stdout]    --> build.rs:136:5
[INFO] [stdout]     |
[INFO] [stdout] 136 |     return;
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return
[INFO] [stdout]     = note: `#[warn(clippy::needless_return)]` on by default
[INFO] [stdout] help: remove `return`
[INFO] [stdout]     |
[INFO] [stdout] 134 -     println!("cargo:rustc-link-search={}", library_folder);
[INFO] [stdout] 135 - 
[INFO] [stdout] 136 -     return;
[INFO] [stdout] 134 +     println!("cargo:rustc-link-search={}", library_folder);
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: vc-ltl@5.3.1: VC-LTL only supports Windows host. So the VC-LTL stage is skipped.
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.52s
[INFO] running `Command { std: "docker" "inspect" "619182081eb08c098af30962e72d8227a8926b38e18821108172a40c74fbf490", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "619182081eb08c098af30962e72d8227a8926b38e18821108172a40c74fbf490", kill_on_drop: false }`
[INFO] [stdout] 619182081eb08c098af30962e72d8227a8926b38e18821108172a40c74fbf490