[INFO] fetching crate lean-host-mcp-worker 0.14.2...
[INFO] testing lean-host-mcp-worker-0.14.2 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate lean-host-mcp-worker 0.14.2 into /workspace/builds/worker-2-tc1/source
[INFO] started tweaking crates.io crate lean-host-mcp-worker 0.14.2
[INFO] finished tweaking crates.io crate lean-host-mcp-worker 0.14.2
[INFO] tweaked toml for crates.io crate lean-host-mcp-worker 0.14.2 written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lean-host-mcp-worker 0.14.2 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 lean-host-mcp-worker 0.14.2 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] warning: Cargo.toml: `lints.rust.future-incompatible` is deprecated in favor of `lints.rust.future_incompatible` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.let-underscore` is deprecated in favor of `lints.rust.let_underscore` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.nonstandard-style` is deprecated in favor of `lints.rust.nonstandard_style` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.rust-2018-idioms` is deprecated in favor of `lints.rust.rust_2018_idioms` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.rust-2024-compatibility` is deprecated in favor of `lints.rust.rust_2024_compatibility` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.unsafe-code` is deprecated in favor of `lints.rust.unsafe_code` and will not work in a future edition
[INFO] [stderr] warning: `lean-host-mcp-worker` (manifest) generated 6 warnings
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded lean-rs-worker-protocol v0.9.4
[INFO] [stderr]   Downloaded lean-rs-abi v0.9.4
[INFO] [stderr]   Downloaded lean-rs-worker-child v0.9.4
[INFO] [stderr]   Downloaded lean-rs-sys v0.9.4
[INFO] [stderr]   Downloaded lean-toolchain v0.9.4
[INFO] [stderr]   Downloaded lean-rs v0.9.4
[INFO] [stderr]   Downloaded lean-rs-host v0.9.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] 353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7
[INFO] running `Command { std: "docker" "start" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7", 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" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7" "/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" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7", 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" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: `lints.rust.future-incompatible` is deprecated in favor of `lints.rust.future_incompatible` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.let-underscore` is deprecated in favor of `lints.rust.let_underscore` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.nonstandard-style` is deprecated in favor of `lints.rust.nonstandard_style` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.rust-2018-idioms` is deprecated in favor of `lints.rust.rust_2018_idioms` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.rust-2024-compatibility` is deprecated in favor of `lints.rust.rust_2024_compatibility` and will not work in a future edition
[INFO] [stderr] warning: Cargo.toml: `lints.rust.unsafe-code` is deprecated in favor of `lints.rust.unsafe_code` and will not work in a future edition
[INFO] [stderr] warning: `lean-host-mcp-worker` (manifest) generated 6 warnings
[INFO] [stderr]    Compiling hybrid-array v0.4.14
[INFO] [stderr]    Compiling lean-rs-abi v0.9.4
[INFO] [stderr]    Compiling toml_parser v1.1.3+spec-1.1.0
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]    Compiling syn v3.0.4
[INFO] [stderr]    Compiling serde_spanned v1.1.1
[INFO] [stderr]    Compiling toml_datetime v1.1.1+spec-1.1.0
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling fs4 v1.1.0
[INFO] [stderr]    Compiling lean-rs v0.9.4
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling lean-rs-host v0.9.4
[INFO] [stderr]    Compiling lean-rs-worker-child v0.9.4
[INFO] [stderr]    Compiling lean-host-mcp-worker v0.14.2 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling toml v1.1.5+spec-1.1.0
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling lean-toolchain v0.9.4
[INFO] [stderr]    Compiling lean-rs-sys v0.9.4
[INFO] [stderr] error: failed to run custom build command for `lean-rs-sys v0.9.4`
[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/lean-rs-sys-792a428e6e5b4e1c/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' (494) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/lean-rs-sys-0.9.4/build.rs:287:5:
[INFO] [stderr]   lean-rs-sys: could not locate a Lean toolchain prefix. Tried:
[INFO] [stderr]     - LEAN_SYSROOT unset
[INFO] [stderr]     - `lean --print-prefix` failed: No such file or directory (os error 2)
[INFO] [stderr]     - ELAN_HOME unset
[INFO] [stderr]     - fixture prefix: `lake env --print-prefix` unavailable
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x610ae0a2a9f1 - <<std[70759c8f55707aa4]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[df12db4294e9bfd3]::fmt::Display>::fmt
[INFO] [stderr]      1:     0x610ae0a3bf6a - core[df12db4294e9bfd3]::fmt::write
[INFO] [stderr]      2:     0x610ae0a2e8ac - <std[70759c8f55707aa4]::sys::stdio::unix::Stderr as core[df12db4294e9bfd3]::io::write::Write>::write_fmt
[INFO] [stderr]      3:     0x610ae0a0d5c6 - std[70759c8f55707aa4]::panicking::default_hook::{closure#0}
[INFO] [stderr]      4:     0x610ae0a26281 - std[70759c8f55707aa4]::panicking::default_hook
[INFO] [stderr]      5:     0x610ae0a2643b - std[70759c8f55707aa4]::panicking::panic_with_hook
[INFO] [stderr]      6:     0x610ae0a0d672 - std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}
[INFO] [stderr]      7:     0x610ae0a063e9 - std[70759c8f55707aa4]::sys::backtrace::__rust_end_short_backtrace::<std[70759c8f55707aa4]::panicking::panic_handler::{closure#0}, !>
[INFO] [stderr]      8:     0x610ae0a0de6d - __rustc[8fa7c3cbc660c2b3]::rust_begin_unwind
[INFO] [stderr]      9:     0x610ae0a3c6dc - core[df12db4294e9bfd3]::panicking::panic_fmt
[INFO] [stderr]     10:     0x610ae09de812 - build_script_build[f63be3e816c73d69]::discover_lean_prefix
[INFO] [stderr]     11:     0x610ae09df90c - build_script_build[f63be3e816c73d69]::main
[INFO] [stderr]     12:     0x610ae09e51d3 - <fn() as core[df12db4294e9bfd3]::ops::function::FnOnce<()>>::call_once
[INFO] [stderr]     13:     0x610ae09e5906 - std[70759c8f55707aa4]::sys::backtrace::__rust_begin_short_backtrace::<fn(), ()>
[INFO] [stderr]     14:     0x610ae09e2f39 - std[70759c8f55707aa4]::rt::lang_start::<()>::{closure#0}
[INFO] [stderr]     15:     0x610ae0a256b9 - std[70759c8f55707aa4]::rt::lang_start_internal
[INFO] [stderr]     16:     0x610ae09e1bc1 - std[70759c8f55707aa4]::rt::lang_start::<()>
[INFO] [stderr]     17:     0x610ae09e1675 - main
[INFO] [stderr]     18:     0x76b37ebc4601 - <unknown>
[INFO] [stderr]     19:     0x76b37ebc4718 - __libc_start_main
[INFO] [stderr]     20:     0x610ae09d3065 - _start
[INFO] [stderr]     21:                0x0 - <unknown>
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7", kill_on_drop: false }`
[INFO] [stdout] 353780d8513b4b5d7ff01a716284cc7e5d1af2c70a97dd0db43c35801e5a76a7
