[INFO] cloning repository https://github.com/LemonHX/lean4-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/LemonHX/lean4-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLemonHX%2Flean4-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLemonHX%2Flean4-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d2064357140a31fab564058d83b95b5bb04940be
[INFO] documenting LemonHX/lean4-rs against 1.76.0 for beta-1.77-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLemonHX%2Flean4-rs" "/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/LemonHX/lean4-rs on toolchain 1.76.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.76.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/LemonHX/lean4-rs
[INFO] finished tweaking git repo https://github.com/LemonHX/lean4-rs
[INFO] tweaked toml for git repo https://github.com/LemonHX/lean4-rs written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/LemonHX/lean4-rs 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.76.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded annotate-snippets v0.9.1
[INFO] [stderr]   Downloaded prettyplease v0.2.6
[INFO] [stderr]   Downloaded scc v1.8.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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 40422f57cea113350997b9d3133b16da07243e016b58c3a2a3b905cfffd00d9b
[INFO] running `Command { std: "docker" "start" "-a" "40422f57cea113350997b9d3133b16da07243e016b58c3a2a3b905cfffd00d9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "40422f57cea113350997b9d3133b16da07243e016b58c3a2a3b905cfffd00d9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "40422f57cea113350997b9d3133b16da07243e016b58c3a2a3b905cfffd00d9b", kill_on_drop: false }`
[INFO] [stdout] 40422f57cea113350997b9d3133b16da07243e016b58c3a2a3b905cfffd00d9b
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+1.76.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2e9e5345a0360f546a3656c8d8de4e0782601b2001be2f5ab5c26e9390dcf431
[INFO] running `Command { std: "docker" "start" "-a" "2e9e5345a0360f546a3656c8d8de4e0782601b2001be2f5ab5c26e9390dcf431", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.146
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling prettyplease v0.2.6
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling regex-syntax v0.7.2
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling yansi-term v0.1.2
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling annotate-snippets v0.9.1
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling lock_api v0.4.10
[INFO] [stderr]    Compiling slab v0.4.8
[INFO] [stderr]    Compiling syn v2.0.18
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling log v0.4.19
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]    Compiling cc v1.0.79
[INFO] [stderr]     Checking futures-sink v0.3.28
[INFO] [stderr]    Compiling regex v1.8.4
[INFO] [stderr]    Compiling tokio v1.28.2
[INFO] [stderr]     Checking futures-io v0.3.28
[INFO] [stderr]     Checking parking_lot v0.12.1
[INFO] [stderr]     Checking num_cpus v1.15.0
[INFO] [stderr]     Checking socket2 v0.4.9
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking signal-hook-registry v1.4.1
[INFO] [stderr]     Checking mio v0.8.8
[INFO] [stderr]     Checking bytes v1.4.0
[INFO] [stderr]     Checking scc v1.8.2
[INFO] [stderr]    Compiling futures-macro v0.3.28
[INFO] [stderr]    Compiling tokio-macros v2.1.0
[INFO] [stderr]    Compiling lean4-macro v0.1.0 (/opt/rustwide/workdir/lean4-macro)
[INFO] [stderr]     Checking futures v0.3.28
[INFO] [stderr]    Compiling lean4-sys v0.1.3 (/opt/rustwide/workdir/lean4-sys)
[INFO] [stderr] error: failed to run custom build command for `lean4-sys v0.1.3 (/opt/rustwide/workdir/lean4-sys)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_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/debug/build/lean4-sys-152d09b29ed1ff8a/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stderr
[INFO] [stderr]   thread 'main' panicked at lean4-sys/build.rs:7:10:
[INFO] [stderr]   Failed to execute lean: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x55a7cd086f26 - std::backtrace_rs::backtrace::libunwind::trace::hbee8a7973eeb6c93
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x55a7cd086f26 - std::backtrace_rs::backtrace::trace_unsynchronized::hc8ac75eea3aa6899
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55a7cd086f26 - std::sys_common::backtrace::_print_fmt::hc7f3e3b5298b1083
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x55a7cd086f26 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hbb235daedd7c6190
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55a7cd0b2e00 - core::fmt::rt::Argument::fmt::h76c38a80d925a410
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x55a7cd0b2e00 - core::fmt::write::h3ed6aeaa977c8e45
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x55a7cd08412f - std::io::Write::write_fmt::h78b18af5775fedb5
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/io/mod.rs:1810:15
[INFO] [stderr]      7:     0x55a7cd086d04 - std::sys_common::backtrace::_print::h5d645a07e0fcfdbb
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x55a7cd086d04 - std::sys_common::backtrace::print::h85035a511aafe7a8
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x55a7cd088c37 - std::panicking::default_hook::{{closure}}::hcce8cea212785a25
[INFO] [stderr]     10:     0x55a7cd088999 - std::panicking::default_hook::hf5fcb0f213fe709a
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x55a7cd0890c8 - std::panicking::rust_panic_with_hook::h095fccf1dc9379ee
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:779:13
[INFO] [stderr]     12:     0x55a7cd088fa2 - std::panicking::begin_panic_handler::{{closure}}::h032ba12139b353db
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:657:13
[INFO] [stderr]     13:     0x55a7cd087426 - std::sys_common::backtrace::__rust_end_short_backtrace::h9259bc2ff8fd0f76
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x55a7cd088d00 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:645:5
[INFO] [stderr]     15:     0x55a7ccb047a5 - core::panicking::panic_fmt::h784f20a50eaab275
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x55a7ccb04d83 - core::result::unwrap_failed::h03d8a5018196e1cd
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/result.rs:1649:5
[INFO] [stderr]     17:     0x55a7ccb060ae - core::result::Result<T,E>::expect::ha0b306e43d302609
[INFO] [stderr]     18:     0x55a7ccb07da8 - build_script_build::main::hea3fa688990554bf
[INFO] [stderr]     19:     0x55a7ccb05b53 - core::ops::function::FnOnce::call_once::h98d4691f2bd9ac41
[INFO] [stderr]     20:     0x55a7ccb051e6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hc4b50a48a6e1ff21
[INFO] [stderr]     21:     0x55a7ccb057b9 - std::rt::lang_start::{{closure}}::h455dfb7838e0794f
[INFO] [stderr]     22:     0x55a7cd07f691 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h37600b1e5eea4ecd
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     23:     0x55a7cd07f691 - std::panicking::try::do_call::hb4bda49fa13a0c2b
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stderr]     24:     0x55a7cd07f691 - std::panicking::try::h8bbf75149211aaaa
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stderr]     25:     0x55a7cd07f691 - std::panic::catch_unwind::h8c78ec68ebea34cb
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stderr]     26:     0x55a7cd07f691 - std::rt::lang_start_internal::{{closure}}::hffdf44a19fd9e220
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x55a7cd07f691 - std::panicking::try::do_call::hcb3194972c74716d
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:552:40
[INFO] [stderr]     28:     0x55a7cd07f691 - std::panicking::try::hcdc6892c5f0dba4c
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panicking.rs:516:19
[INFO] [stderr]     29:     0x55a7cd07f691 - std::panic::catch_unwind::h4910beb4573f4776
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/panic.rs:142:14
[INFO] [stderr]     30:     0x55a7cd07f691 - std::rt::lang_start_internal::h6939038e2873596b
[INFO] [stderr]                                  at /rustc/07dca489ac2d933c78d3c5158e3f43beefeb02ce/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x55a7ccb05797 - std::rt::lang_start::he519d283a07cd0b4
[INFO] [stderr]     32:     0x55a7ccb087a5 - main
[INFO] [stderr]     33:     0x7fbc66e73d90 - <unknown>
[INFO] [stderr]     34:     0x7fbc66e73e40 - __libc_start_main
[INFO] [stderr]     35:     0x55a7ccb05085 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "2e9e5345a0360f546a3656c8d8de4e0782601b2001be2f5ab5c26e9390dcf431", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2e9e5345a0360f546a3656c8d8de4e0782601b2001be2f5ab5c26e9390dcf431", kill_on_drop: false }`
[INFO] [stdout] 2e9e5345a0360f546a3656c8d8de4e0782601b2001be2f5ab5c26e9390dcf431
[INFO] documenting LemonHX/lean4-rs against beta-2024-02-10 for beta-1.77-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLemonHX%2Flean4-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/LemonHX/lean4-rs on toolchain beta-2024-02-10
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/LemonHX/lean4-rs
[INFO] finished tweaking git repo https://github.com/LemonHX/lean4-rs
[INFO] tweaked toml for git repo https://github.com/LemonHX/lean4-rs written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/LemonHX/lean4-rs 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" "+beta-2024-02-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 1418acf8f64021e77680376861e7e64cadf19305a0b13d372169df68275c3075
[INFO] running `Command { std: "docker" "start" "-a" "1418acf8f64021e77680376861e7e64cadf19305a0b13d372169df68275c3075", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1418acf8f64021e77680376861e7e64cadf19305a0b13d372169df68275c3075", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1418acf8f64021e77680376861e7e64cadf19305a0b13d372169df68275c3075", kill_on_drop: false }`
[INFO] [stdout] 1418acf8f64021e77680376861e7e64cadf19305a0b13d372169df68275c3075
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-02-10" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e039a5aa53fa2162077d49872aa9fcd78f200f1bf86a60190f01ced854f39aa1
[INFO] running `Command { std: "docker" "start" "-a" "e039a5aa53fa2162077d49872aa9fcd78f200f1bf86a60190f01ced854f39aa1", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.146
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling prettyplease v0.2.6
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling regex-syntax v0.7.2
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling yansi-term v0.1.2
[INFO] [stderr]    Compiling annotate-snippets v0.9.1
[INFO] [stderr]    Compiling lock_api v0.4.10
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling slab v0.4.8
[INFO] [stderr]    Compiling syn v2.0.18
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling log v0.4.19
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]    Compiling cc v1.0.79
[INFO] [stderr]     Checking futures-sink v0.3.28
[INFO] [stderr]    Compiling tokio v1.28.2
[INFO] [stderr]     Checking futures-io v0.3.28
[INFO] [stderr]     Checking parking_lot v0.12.1
[INFO] [stderr]     Checking num_cpus v1.15.0
[INFO] [stderr]    Compiling regex v1.8.4
[INFO] [stderr]     Checking mio v0.8.8
[INFO] [stderr]     Checking signal-hook-registry v1.4.1
[INFO] [stderr]     Checking socket2 v0.4.9
[INFO] [stderr]     Checking bytes v1.4.0
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking scc v1.8.2
[INFO] [stderr]    Compiling futures-macro v0.3.28
[INFO] [stderr]    Compiling tokio-macros v2.1.0
[INFO] [stderr]    Compiling lean4-macro v0.1.0 (/opt/rustwide/workdir/lean4-macro)
[INFO] [stderr]     Checking futures v0.3.28
[INFO] [stderr]    Compiling lean4-sys v0.1.3 (/opt/rustwide/workdir/lean4-sys)
[INFO] [stderr] error: failed to run custom build command for `lean4-sys v0.1.3 (/opt/rustwide/workdir/lean4-sys)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_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/debug/build/lean4-sys-520512a4fbf15054/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stderr
[INFO] [stderr]   thread 'main' panicked at lean4-sys/build.rs:7:10:
[INFO] [stderr]   Failed to execute lean: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x5649a0a7f416 - std::backtrace_rs::backtrace::libunwind::trace::h140b6deb6a45c671
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x5649a0a7f416 - std::backtrace_rs::backtrace::trace_unsynchronized::h8450d7e4e9219aed
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x5649a0a7f416 - std::sys_common::backtrace::_print_fmt::hbd28e5e6c6fc3a3f
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x5649a0a7f416 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hb058f285768cf98e
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x5649a0aab0a0 - core::fmt::rt::Argument::fmt::h87dec7a95127da24
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x5649a0aab0a0 - core::fmt::write::h873f89a91a4832db
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x5649a0a7c1ff - std::io::Write::write_fmt::hc65183f01d14754a
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/io/mod.rs:1846:15
[INFO] [stderr]      7:     0x5649a0a7f1f4 - std::sys_common::backtrace::_print::h7719d1529d9a9e13
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x5649a0a7f1f4 - std::sys_common::backtrace::print::haa3afbd0e7947108
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x5649a0a81127 - std::panicking::default_hook::{{closure}}::h10e3de2ec0eaff22
[INFO] [stderr]     10:     0x5649a0a80e89 - std::panicking::default_hook::hbdc1b1b7fe073dab
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x5649a0a815b8 - std::panicking::rust_panic_with_hook::hb81692602460473d
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:781:13
[INFO] [stderr]     12:     0x5649a0a81492 - std::panicking::begin_panic_handler::{{closure}}::h2470593aa2678e9c
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:659:13
[INFO] [stderr]     13:     0x5649a0a7f916 - std::sys_common::backtrace::__rust_end_short_backtrace::h560bb50225b0562b
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x5649a0a811e4 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:647:5
[INFO] [stderr]     15:     0x5649a0511795 - core::panicking::panic_fmt::h29b6f262f6458dc3
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x5649a0511d73 - core::result::unwrap_failed::h12bc80647957bcdb
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/result.rs:1649:5
[INFO] [stderr]     17:     0x5649a05130de - core::result::Result<T,E>::expect::h1121b6f1adcc4586
[INFO] [stderr]     18:     0x5649a0514f48 - build_script_build::main::h7db2f0ae853c1b16
[INFO] [stderr]     19:     0x5649a0512ca3 - core::ops::function::FnOnce::call_once::hb26fa276729d5d09
[INFO] [stderr]     20:     0x5649a05121d6 - std::sys_common::backtrace::__rust_begin_short_backtrace::h65de06928a0a9203
[INFO] [stderr]     21:     0x5649a05127c9 - std::rt::lang_start::{{closure}}::hff40bf791753ed22
[INFO] [stderr]     22:     0x5649a0a776c1 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hb70d08830a5ade10
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     23:     0x5649a0a776c1 - std::panicking::try::do_call::h22b4f7e5a6651b4a
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:554:40
[INFO] [stderr]     24:     0x5649a0a776c1 - std::panicking::try::hc21d1712e01c2e20
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:518:19
[INFO] [stderr]     25:     0x5649a0a776c1 - std::panic::catch_unwind::h043dedc9b446785f
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panic.rs:142:14
[INFO] [stderr]     26:     0x5649a0a776c1 - std::rt::lang_start_internal::{{closure}}::hd5b437811c37f411
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x5649a0a776c1 - std::panicking::try::do_call::hd87c54a927c7af49
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:554:40
[INFO] [stderr]     28:     0x5649a0a776c1 - std::panicking::try::hf94d97659ed75d92
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panicking.rs:518:19
[INFO] [stderr]     29:     0x5649a0a776c1 - std::panic::catch_unwind::h2ddd57de1d25402e
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/panic.rs:142:14
[INFO] [stderr]     30:     0x5649a0a776c1 - std::rt::lang_start_internal::h7fecc45801af5220
[INFO] [stderr]                                  at /rustc/f2048098a1ca42a520e7bed68e321a66edc0a1b1/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x5649a05127a7 - std::rt::lang_start::h2c0db1bddb8748f4
[INFO] [stderr]     32:     0x5649a0515945 - main
[INFO] [stderr]     33:     0x7f745fa80d90 - <unknown>
[INFO] [stderr]     34:     0x7f745fa80e40 - __libc_start_main
[INFO] [stderr]     35:     0x5649a0512075 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "e039a5aa53fa2162077d49872aa9fcd78f200f1bf86a60190f01ced854f39aa1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e039a5aa53fa2162077d49872aa9fcd78f200f1bf86a60190f01ced854f39aa1", kill_on_drop: false }`
[INFO] [stdout] e039a5aa53fa2162077d49872aa9fcd78f200f1bf86a60190f01ced854f39aa1
