[INFO] fetching crate lean-host-mcp 0.14.2...
[INFO] testing lean-host-mcp-0.14.2 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate lean-host-mcp 0.14.2 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate lean-host-mcp 0.14.2
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lean-host-mcp 0.14.2
[INFO] tweaked toml for crates.io crate lean-host-mcp 0.14.2 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lean-host-mcp 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 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` (manifest) generated 6 warnings
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded sse-stream v0.2.5
[INFO] [stderr]   Downloaded toml v1.1.5+spec-1.1.0
[INFO] [stderr]   Downloaded lean-rs-abi v0.9.4
[INFO] [stderr]   Downloaded lean-semantic-search-capability v0.7.7
[INFO] [stderr]   Downloaded lean-semantic-search-runtime v0.7.7
[INFO] [stderr]   Downloaded lean-semantic-search-contract v0.7.7
[INFO] [stderr]   Downloaded lean-toolchain v0.9.4
[INFO] [stderr]   Downloaded lean-semantic-search-retrieval v0.7.7
[INFO] [stderr]   Downloaded lean-rs-worker-parent v0.9.4
[INFO] [stderr]   Downloaded lean-rs-worker-protocol v0.9.4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f
[INFO] running `Command { std: "docker" "start" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f", 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" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f" "/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" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f", 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" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f" "/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` (manifest) generated 6 warnings
[INFO] [stderr]    Compiling hybrid-array v0.4.14
[INFO] [stderr]    Compiling syn v3.0.4
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]    Compiling lean-rs-abi v0.9.4
[INFO] [stderr]    Compiling serde_spanned v1.1.1
[INFO] [stderr]    Compiling toml_parser v1.1.3+spec-1.1.0
[INFO] [stderr]    Compiling toml_datetime v1.1.1+spec-1.1.0
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling sha2 v0.11.0
[INFO] [stderr]    Compiling fs4 v1.1.0
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling rmcp v3.2.0
[INFO] [stderr]    Compiling clap_builder v4.6.6
[INFO] [stderr]    Compiling tracing-log v0.2.0
[INFO] [stderr]    Compiling dirs-sys v0.5.0
[INFO] [stderr]    Compiling axum-core v0.5.6
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling indexmap v2.14.1
[INFO] [stderr]    Compiling uuid v1.26.0
[INFO] [stderr]    Compiling pastey v0.2.3
[INFO] [stderr]    Compiling toml v1.1.5+spec-1.1.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling block-buffer v0.12.1
[INFO] [stderr]    Compiling crypto-common v0.2.2
[INFO] [stderr]    Compiling dirs v6.0.0
[INFO] [stderr]    Compiling lru v0.18.3
[INFO] [stderr]    Compiling digest v0.11.3
[INFO] [stderr]    Compiling lean-toolchain v0.9.4
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling matchers v0.2.0
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling darling_core v0.24.1
[INFO] [stderr]    Compiling serde_derive_internals v0.30.0
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling tokio-macros v2.7.2
[INFO] [stderr]    Compiling futures-macro v0.3.34
[INFO] [stderr]    Compiling ref-cast-impl v1.0.27
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling async-trait v0.1.92
[INFO] [stderr]    Compiling clap_derive v4.6.4
[INFO] [stderr]    Compiling schemars_derive v1.2.2
[INFO] [stderr]    Compiling ref-cast v1.0.27
[INFO] [stderr]    Compiling tokio v1.53.1
[INFO] [stderr]    Compiling futures-util v0.3.34
[INFO] [stderr]    Compiling thiserror v2.0.20
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling clap v4.6.6
[INFO] [stderr]    Compiling darling_macro v0.24.1
[INFO] [stderr]    Compiling lean-semantic-search-contract v0.7.7
[INFO] [stderr]    Compiling chrono v0.4.45
[INFO] [stderr]    Compiling darling v0.24.1
[INFO] [stderr]    Compiling rmcp-macros v3.2.0
[INFO] [stderr]    Compiling lean-semantic-search-capability v0.7.7
[INFO] [stderr]    Compiling lean-semantic-search-retrieval v0.7.7
[INFO] [stderr]    Compiling lean-rs-worker-protocol v0.9.4
[INFO] [stderr]    Compiling futures-executor v0.3.34
[INFO] [stderr]    Compiling sse-stream v0.2.5
[INFO] [stderr]    Compiling futures v0.3.34
[INFO] [stderr]    Compiling schemars v1.2.2
[INFO] [stderr]    Compiling hyper v1.11.1
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling tokio-util v0.7.19
[INFO] [stderr]    Compiling tokio-stream v0.1.19
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling axum v0.8.9
[INFO] [stderr]    Compiling lean-rs-worker-parent v0.9.4
[INFO] [stderr]    Compiling lean-semantic-search-runtime v0.7.7
[INFO] [stderr]    Compiling lean-host-mcp v0.14.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 2m 58s
[INFO] running `Command { std: "docker" "inspect" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f", 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" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--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` (manifest) generated 6 warnings
[INFO] [stderr]    Compiling zerovec-derive v0.11.6
[INFO] [stderr]    Compiling displaydoc v0.2.7
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling tokio v1.53.1
[INFO] [stderr]    Compiling zerocopy-derive v0.8.56
[INFO] [stderr]    Compiling find-msvc-tools v0.1.11
[INFO] [stderr]    Compiling axum-core v0.5.6
[INFO] [stderr]    Compiling tracing-subscriber v0.3.23
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling serial_test_derive v4.0.1
[INFO] [stderr]    Compiling cc v1.4.4
[INFO] [stderr]    Compiling zerotrie v0.2.5
[INFO] [stderr]    Compiling serial_test v4.0.1
[INFO] [stderr]    Compiling chrono v0.4.45
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling zerovec v0.11.8
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling schemars v1.2.2
[INFO] [stderr]    Compiling tinystr v0.8.4
[INFO] [stderr]    Compiling potential_utf v0.1.6
[INFO] [stderr]    Compiling zerocopy v0.8.56
[INFO] [stderr]    Compiling icu_collections v2.3.0
[INFO] [stderr]    Compiling icu_locale_core v2.3.0
[INFO] [stderr]    Compiling icu_provider v2.3.1
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling icu_normalizer v2.3.0
[INFO] [stderr]    Compiling icu_properties v2.3.0
[INFO] [stderr]    Compiling idna_adapter v1.2.2
[INFO] [stderr]    Compiling idna v1.1.0
[INFO] [stderr]    Compiling url v2.5.8
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling tower v0.5.3
[INFO] [stderr]    Compiling hyper v1.11.1
[INFO] [stderr]    Compiling tokio-util v0.7.19
[INFO] [stderr]    Compiling tokio-stream v0.1.19
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling rmcp v3.2.0
[INFO] [stderr]    Compiling tower-http v0.6.11
[INFO] [stderr]    Compiling hyper-util v0.1.20
[INFO] [stderr]    Compiling axum v0.8.9
[INFO] [stderr]    Compiling reqwest v0.13.4
[INFO] [stderr]    Compiling lean-host-mcp v0.14.2 (/opt/rustwide/workdir)
[INFO] [stdout] error: couldn't read `/opt/rustwide/workdir/../../docs/operations.md`: No such file or directory (os error 2)
[INFO] [stdout]    --> src/config_schema.rs:404:27
[INFO] [stdout]     |
[INFO] [stdout] 404 |         const DOC: &str = include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/../../docs/operations.md"));
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: couldn't read `src/tools/../../../../docs/tool-catalog.md`: No such file or directory (os error 2)
[INFO] [stdout]     --> src/tools/semantic.rs:1418:23
[INFO] [stdout]      |
[INFO] [stdout] 1418 |         let catalog = include_str!("../../../../docs/tool-catalog.md");
[INFO] [stdout]      |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `lean-host-mcp` (lib test) due to 2 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f", kill_on_drop: false }`
[INFO] [stdout] 8a4ea25109c4138651365554ca20b1712b77e1a0552ba3427854a5b84210059f
