[INFO] cloning repository https://github.com/OCamlPro/mikino
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/OCamlPro/mikino" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fmikino", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fmikino'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 10d48af408cbf415c475a000d00a63d999f1d045
[INFO] checking OCamlPro/mikino against master#2e6fc425411280c658d852813de01c5157255088 for pr-128013
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FOCamlPro%2Fmikino" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/OCamlPro/mikino on toolchain 2e6fc425411280c658d852813de01c5157255088
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/OCamlPro/mikino
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/OCamlPro/mikino
[INFO] tweaked toml for git repo https://github.com/OCamlPro/mikino written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 33 packages to latest compatible versions
[INFO] [stderr]       Adding addr2line v0.22.0 (latest: v0.24.1)
[INFO] [stderr]       Adding gimli v0.29.0 (latest: v0.31.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rsmt2 v0.16.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 558c09dd37013a3e35ce1e6e025a7acc46e2c7efdee26c7dfc1154dd46fd7f77
[INFO] running `Command { std: "docker" "start" "-a" "558c09dd37013a3e35ce1e6e025a7acc46e2c7efdee26c7dfc1154dd46fd7f77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "558c09dd37013a3e35ce1e6e025a7acc46e2c7efdee26c7dfc1154dd46fd7f77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "558c09dd37013a3e35ce1e6e025a7acc46e2c7efdee26c7dfc1154dd46fd7f77", kill_on_drop: false }`
[INFO] [stdout] 558c09dd37013a3e35ce1e6e025a7acc46e2c7efdee26c7dfc1154dd46fd7f77
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+2e6fc425411280c658d852813de01c5157255088" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 96120e40ab00a183bd734c5a7d2a600caace3b6a9ec8cff03755f4cc7a8fa411
[INFO] running `Command { std: "docker" "start" "-a" "96120e40ab00a183bd734c5a7d2a600caace3b6a9ec8cff03755f4cc7a8fa411", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling cc v1.1.6
[INFO] [stderr]     Checking memchr v2.7.4
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]     Checking gimli v0.29.0
[INFO] [stderr]     Checking rustc-demangle v0.1.24
[INFO] [stderr]    Compiling peg-runtime v0.8.3
[INFO] [stderr]     Checking lazy_static v1.5.0
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking miniz_oxide v0.7.4
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking object v0.36.2
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling syn v2.0.72
[INFO] [stderr]    Compiling backtrace v0.3.73
[INFO] [stderr]    Compiling peg-macros v0.8.4
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]     Checking num-iter v0.1.45
[INFO] [stderr]     Checking peg v0.8.4
[INFO] [stderr]     Checking addr2line v0.22.0
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]    Compiling readonly v0.2.12
[INFO] [stderr]     Checking rsmt2 v0.16.2
[INFO] [stderr]     Checking mikino_api v0.9.1 (/opt/rustwide/workdir)
[INFO] [stdout] warning: struct `NegExpr` is never constructed
[INFO] [stdout]    --> src/check.rs:185:12
[INFO] [stdout]     |
[INFO] [stdout] 185 | pub struct NegExpr<'e, E> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `NegExpr` is never constructed
[INFO] [stdout]    --> src/check.rs:185:12
[INFO] [stdout]     |
[INFO] [stdout] 185 | pub struct NegExpr<'e, E> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.33s
[INFO] running `Command { std: "docker" "inspect" "96120e40ab00a183bd734c5a7d2a600caace3b6a9ec8cff03755f4cc7a8fa411", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "96120e40ab00a183bd734c5a7d2a600caace3b6a9ec8cff03755f4cc7a8fa411", kill_on_drop: false }`
[INFO] [stdout] 96120e40ab00a183bd734c5a7d2a600caace3b6a9ec8cff03755f4cc7a8fa411