[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.75.0 for beta-1.76-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLemonHX%2Flean4-rs" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/LemonHX/lean4-rs on toolchain 1.75.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.75.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-1-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.75.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded scc v1.8.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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.75.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 367e288490ab9d506760c0b3a0d4c0f09d0c9f3a0abcd70a1d7954d7a758c7a7
[INFO] running `Command { std: "docker" "start" "-a" "367e288490ab9d506760c0b3a0d4c0f09d0c9f3a0abcd70a1d7954d7a758c7a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "367e288490ab9d506760c0b3a0d4c0f09d0c9f3a0abcd70a1d7954d7a758c7a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "367e288490ab9d506760c0b3a0d4c0f09d0c9f3a0abcd70a1d7954d7a758c7a7", kill_on_drop: false }`
[INFO] [stdout] 367e288490ab9d506760c0b3a0d4c0f09d0c9f3a0abcd70a1d7954d7a758c7a7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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.75.0" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 00791bd72e9718715c77bbe49abba49a93da4e710627cd8c9664f60a178f1619
[INFO] running `Command { std: "docker" "start" "-a" "00791bd72e9718715c77bbe49abba49a93da4e710627cd8c9664f60a178f1619", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.146
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling prettyplease v0.2.6
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling regex-syntax v0.7.2
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling yansi-term v0.1.2
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling annotate-snippets v0.9.1
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.18
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling log v0.4.19
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]     Checking smallvec v1.10.0
[INFO] [stderr]    Compiling cc v1.0.79
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]     Checking futures-sink v0.3.28
[INFO] [stderr]     Checking parking_lot_core v0.9.8
[INFO] [stderr]     Checking lock_api v0.4.10
[INFO] [stderr]    Compiling tokio v1.28.2
[INFO] [stderr]     Checking futures-io v0.3.28
[INFO] [stderr]     Checking mio v0.8.8
[INFO] [stderr]     Checking parking_lot v0.12.1
[INFO] [stderr]     Checking num_cpus v1.15.0
[INFO] [stderr]     Checking signal-hook-registry v1.4.1
[INFO] [stderr]     Checking socket2 v0.4.9
[INFO] [stderr]     Checking scc v1.8.2
[INFO] [stderr]    Compiling regex v1.8.4
[INFO] [stderr]    Compiling cexpr v0.6.0
[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-55361ffe1ac9da52/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:     0x561c4bd4449c - std::backtrace_rs::backtrace::libunwind::trace::ha637c64ce894333a
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x561c4bd4449c - std::backtrace_rs::backtrace::trace_unsynchronized::h47f62dea28e0c88d
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x561c4bd4449c - std::sys_common::backtrace::_print_fmt::h9eef0abe20ede486
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stderr]      3:     0x561c4bd4449c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hed7f999df88cc644
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x561c4bd70fd0 - core::fmt::rt::Argument::fmt::h1539a9308b8d058d
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x561c4bd70fd0 - core::fmt::write::h3a39390d8560d9c9
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x561c4bd4156f - std::io::Write::write_fmt::h5fc9997dfe05f882
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/io/mod.rs:1762:15
[INFO] [stderr]      7:     0x561c4bd44284 - std::sys_common::backtrace::_print::h894006fb5c6f3d45
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x561c4bd44284 - std::sys_common::backtrace::print::h23a2d212c6fff936
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x561c4bd460b7 - std::panicking::default_hook::{{closure}}::h8a1d2ee00185001a
[INFO] [stderr]     10:     0x561c4bd45e1f - std::panicking::default_hook::h6038f2eba384e475
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x561c4bd46538 - std::panicking::rust_panic_with_hook::h2b5517d590cab22e
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:779:13
[INFO] [stderr]     12:     0x561c4bd4641e - std::panicking::begin_panic_handler::{{closure}}::h233112c06e0ef43e
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:657:13
[INFO] [stderr]     13:     0x561c4bd44966 - std::sys_common::backtrace::__rust_end_short_backtrace::h6e893f24d7ebbff8
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/sys_common/backtrace.rs:170:18
[INFO] [stderr]     14:     0x561c4bd46182 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:645:5
[INFO] [stderr]     15:     0x561c4b7da785 - core::panicking::panic_fmt::hbf0e066aabfa482c
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x561c4b7dad53 - core::result::unwrap_failed::hddb4fea594200c52
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/result.rs:1653:5
[INFO] [stderr]     17:     0x561c4b7dc078 - core::result::Result<T,E>::expect::hfe341edcfbe15d1b
[INFO] [stderr]     18:     0x561c4b7ddd48 - build_script_build::main::hc04a9f97577311a6
[INFO] [stderr]     19:     0x561c4b7dbb83 - core::ops::function::FnOnce::call_once::hf6cfd23e24e8be9d
[INFO] [stderr]     20:     0x561c4b7db1b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::h585b74d83fbfd61b
[INFO] [stderr]     21:     0x561c4b7db789 - std::rt::lang_start::{{closure}}::h5861f4e91e7afbd9
[INFO] [stderr]     22:     0x561c4bd3cd57 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hd95060ecd5e1ca24
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     23:     0x561c4bd3cd57 - std::panicking::try::do_call::h6e8cf51db32a6e4b
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:552:40
[INFO] [stderr]     24:     0x561c4bd3cd57 - std::panicking::try::h3a52eefe24fe3c29
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:516:19
[INFO] [stderr]     25:     0x561c4bd3cd57 - std::panic::catch_unwind::h24c28c23c02c3841
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panic.rs:142:14
[INFO] [stderr]     26:     0x561c4bd3cd57 - std::rt::lang_start_internal::{{closure}}::h705d3c9cbc06ef47
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x561c4bd3cd57 - std::panicking::try::do_call::ha21f52ba13158470
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:552:40
[INFO] [stderr]     28:     0x561c4bd3cd57 - std::panicking::try::h5581346bf6aeb1f8
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panicking.rs:516:19
[INFO] [stderr]     29:     0x561c4bd3cd57 - std::panic::catch_unwind::h7919645a6b72e25b
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/panic.rs:142:14
[INFO] [stderr]     30:     0x561c4bd3cd57 - std::rt::lang_start_internal::h12de51168669836e
[INFO] [stderr]                                  at /rustc/82e1608dfa6e0b5569232559e3d385fea5a93112/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x561c4b7db767 - std::rt::lang_start::h27a2b4f129b9d2c1
[INFO] [stderr]     32:     0x561c4b7de745 - main
[INFO] [stderr]     33:     0x7f5fb2bc6d90 - <unknown>
[INFO] [stderr]     34:     0x7f5fb2bc6e40 - __libc_start_main
[INFO] [stderr]     35:     0x561c4b7db055 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "00791bd72e9718715c77bbe49abba49a93da4e710627cd8c9664f60a178f1619", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "00791bd72e9718715c77bbe49abba49a93da4e710627cd8c9664f60a178f1619", kill_on_drop: false }`
[INFO] [stdout] 00791bd72e9718715c77bbe49abba49a93da4e710627cd8c9664f60a178f1619
[INFO] documenting LemonHX/lean4-rs against beta-2023-12-22 for beta-1.76-rustdoc-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLemonHX%2Flean4-rs" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/LemonHX/lean4-rs on toolchain beta-2023-12-22
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-12-22" "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-1-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-2023-12-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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-2023-12-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 79904988e88d74bebf94f6c23fb35e5e509db1c752bc676276a90aeeb75bf15a
[INFO] running `Command { std: "docker" "start" "-a" "79904988e88d74bebf94f6c23fb35e5e509db1c752bc676276a90aeeb75bf15a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "79904988e88d74bebf94f6c23fb35e5e509db1c752bc676276a90aeeb75bf15a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "79904988e88d74bebf94f6c23fb35e5e509db1c752bc676276a90aeeb75bf15a", kill_on_drop: false }`
[INFO] [stdout] 79904988e88d74bebf94f6c23fb35e5e509db1c752bc676276a90aeeb75bf15a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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-2023-12-22" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8e207369b3c304dacde442be63a532213f84f4da13155210f7407c8303ec54c4
[INFO] running `Command { std: "docker" "start" "-a" "8e207369b3c304dacde442be63a532213f84f4da13155210f7407c8303ec54c4", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.146
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[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 libloading v0.7.4
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling yansi-term v0.1.2
[INFO] [stderr]    Compiling regex-syntax v0.7.2
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling annotate-snippets v0.9.1
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling which v4.4.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling shlex v1.1.0
[INFO] [stderr]    Compiling syn v2.0.18
[INFO] [stderr]    Compiling log v0.4.19
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]     Checking futures-sink v0.3.28
[INFO] [stderr]    Compiling cc v1.0.79
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]     Checking smallvec v1.10.0
[INFO] [stderr]     Checking parking_lot_core v0.9.8
[INFO] [stderr]     Checking lock_api v0.4.10
[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]     Checking mio v0.8.8
[INFO] [stderr]     Checking signal-hook-registry v1.4.1
[INFO] [stderr]     Checking scc v1.8.2
[INFO] [stderr]    Compiling regex v1.8.4
[INFO] [stderr]    Compiling cexpr v0.6.0
[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:     0x55edb44fb916 - std::backtrace_rs::backtrace::libunwind::trace::h261606ad26a499c1
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x55edb44fb916 - std::backtrace_rs::backtrace::trace_unsynchronized::hd183f0625477fb28
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55edb44fb916 - std::sys_common::backtrace::_print_fmt::hd7f8fef21b4eda67
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x55edb44fb916 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h623d9b51f2f453f1
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55edb45277f0 - core::fmt::rt::Argument::fmt::h9f417ac76a86f368
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x55edb45277f0 - core::fmt::write::hc9b6faf4ac2aeff7
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x55edb44f8b1f - std::io::Write::write_fmt::hfead1eee52c2e65e
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/io/mod.rs:1810:15
[INFO] [stderr]      7:     0x55edb44fb6f4 - std::sys_common::backtrace::_print::hd5d66399c7df88a2
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x55edb44fb6f4 - std::sys_common::backtrace::print::he81ed2da642d37e5
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x55edb44fd627 - std::panicking::default_hook::{{closure}}::h85773f4fa117163d
[INFO] [stderr]     10:     0x55edb44fd389 - std::panicking::default_hook::h6a1694a91d09b278
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x55edb44fdab8 - std::panicking::rust_panic_with_hook::h0a7ad96e90f7145b
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:779:13
[INFO] [stderr]     12:     0x55edb44fd992 - std::panicking::begin_panic_handler::{{closure}}::h7919090525c6485e
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:657:13
[INFO] [stderr]     13:     0x55edb44fbe16 - std::sys_common::backtrace::__rust_end_short_backtrace::hf3289479464f7dfe
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x55edb44fd6f0 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:645:5
[INFO] [stderr]     15:     0x55edb3f7a7a5 - core::panicking::panic_fmt::hcc9f77c5c132af55
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x55edb3f7ad83 - core::result::unwrap_failed::hbe14f498be1452f9
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/result.rs:1649:5
[INFO] [stderr]     17:     0x55edb3f7bfbe - core::result::Result<T,E>::expect::h9c03ca89cb7a7120
[INFO] [stderr]     18:     0x55edb3f7dda8 - build_script_build::main::hf142541cefa948bd
[INFO] [stderr]     19:     0x55edb3f7bb53 - core::ops::function::FnOnce::call_once::h73d3cd68c56671f6
[INFO] [stderr]     20:     0x55edb3f7b1e6 - std::sys_common::backtrace::__rust_begin_short_backtrace::h81c1b817ebfa63f7
[INFO] [stderr]     21:     0x55edb3f7b7b9 - std::rt::lang_start::{{closure}}::hceb945258f1293d9
[INFO] [stderr]     22:     0x55edb44f4081 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h4eb4c5e1620f29b0
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     23:     0x55edb44f4081 - std::panicking::try::do_call::h73fd26535faffcdf
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:552:40
[INFO] [stderr]     24:     0x55edb44f4081 - std::panicking::try::h77ff1d98f0fb9f39
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:516:19
[INFO] [stderr]     25:     0x55edb44f4081 - std::panic::catch_unwind::hab3caf2448b95e37
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panic.rs:142:14
[INFO] [stderr]     26:     0x55edb44f4081 - std::rt::lang_start_internal::{{closure}}::h8086711f9c783f78
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x55edb44f4081 - std::panicking::try::do_call::hf920d4dc291cd6ca
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:552:40
[INFO] [stderr]     28:     0x55edb44f4081 - std::panicking::try::h2b806ccc0a85db74
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panicking.rs:516:19
[INFO] [stderr]     29:     0x55edb44f4081 - std::panic::catch_unwind::h038489539c507df2
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/panic.rs:142:14
[INFO] [stderr]     30:     0x55edb44f4081 - std::rt::lang_start_internal::h28503b88912e8a5c
[INFO] [stderr]                                  at /rustc/0e09125c6c3c2fd70d7de961bcf0e51575235fad/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x55edb3f7b797 - std::rt::lang_start::hb3e25952bd9d57fa
[INFO] [stderr]     32:     0x55edb3f7e7a5 - main
[INFO] [stderr]     33:     0x7fc01f962d90 - <unknown>
[INFO] [stderr]     34:     0x7fc01f962e40 - __libc_start_main
[INFO] [stderr]     35:     0x55edb3f7b085 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "8e207369b3c304dacde442be63a532213f84f4da13155210f7407c8303ec54c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e207369b3c304dacde442be63a532213f84f4da13155210f7407c8303ec54c4", kill_on_drop: false }`
[INFO] [stdout] 8e207369b3c304dacde442be63a532213f84f4da13155210f7407c8303ec54c4
