[INFO] fetching crate powdr-autoprecompiles-lean-ffi 0.1.5...
[INFO] testing powdr-autoprecompiles-lean-ffi-0.1.5 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate powdr-autoprecompiles-lean-ffi 0.1.5 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate powdr-autoprecompiles-lean-ffi 0.1.5
[INFO] finished tweaking crates.io crate powdr-autoprecompiles-lean-ffi 0.1.5
[INFO] tweaked toml for crates.io crate powdr-autoprecompiles-lean-ffi 0.1.5 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate powdr-autoprecompiles-lean-ffi 0.1.5 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate powdr-autoprecompiles-lean-ffi 0.1.5 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" "+1.99.0-beta.8" "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-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e
[INFO] running `Command { std: "docker" "start" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling powdr-autoprecompiles-lean-ffi v0.1.5 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `powdr-autoprecompiles-lean-ffi v0.1.5 (/opt/rustwide/workdir)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_RELEASE_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/release/build/powdr-autoprecompiles-lean-ffi-cfe1d300abfa87a2/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (82) panicked at build.rs:56:9:
[INFO] [stderr]   `lean` is required to build powdr-autoprecompiles-lean-ffi (the `lean-optimizer` feature) but was not found on PATH. Install the Lean toolchain via elan (https://github.com/leanprover/elan), which provides `lean` and `lake`.
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5bdfcbdf5111 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stderr]      1:     0x5bdfcbe07cfa - core[df12db4294e9bfd3]::fmt::write
[INFO] [stderr]      2:     0x5bdfcbdfa26c - <std[70759c8f55707aa4]::sys::stdio::unix::Stderr as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stderr]      3:     0x5bdfcbdd7216 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stderr]      4:     0x5bdfcbdf08d1 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stderr]      5:     0x5bdfcbdf0a8b - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stderr]      6:     0x5bdfcbdd72c2 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stderr]      7:     0x5bdfcbdcff19 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]      8:     0x5bdfcbdd7abd - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stderr]      9:     0x5bdfcbe0842c - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stderr]     10:     0x5bdfcbdba8f6 - build_script_build[773a15d1d6c764d2]::require_tool
[INFO] [stderr]     11:     0x5bdfcbdbba17 - build_script_build[773a15d1d6c764d2]::main
[INFO] [stderr]     12:     0x5bdfcbdc04cb - <fn() as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     13:     0x5bdfcbdc137e - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     14:     0x5bdfcbdc1f39 - std[70759c8f55707aa4]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     15:     0x5bdfcbdefd09 - std[70759c8f55707aa4]::rt::lang_start_internal
[INFO] [stderr]     16:     0x5bdfcbdc1371 - std[70759c8f55707aa4]::rt::lang_start::<()>
[INFO] [stderr]     17:     0x5bdfcbdc0835 - main
[INFO] [stderr]     18:     0x706076f6b601 - <unknown>
[INFO] [stderr]     19:     0x706076f6b718 - __libc_start_main
[INFO] [stderr]     20:     0x5bdfcbdb7ae5 - _start
[INFO] [stderr]     21:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e", kill_on_drop: false }`
[INFO] [stdout] f2b127e3083911def804b908d4474bff9629170d9321cc297388f7d0f010005e
