[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] checking LemonHX/lean4-rs against master#5431404b87967c69438ea1e698edbe96505f0798 for pr-119849
[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 5431404b87967c69438ea1e698edbe96505f0798
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5431404b87967c69438ea1e698edbe96505f0798" "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" "+5431404b87967c69438ea1e698edbe96505f0798" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[ERROR] this task or one of its parent failed!
[ERROR] no output for 300 seconds
[ERROR] note: run with `RUST_BACKTRACE=1` to display a backtrace.
[INFO] checking LemonHX/lean4-rs against try#21bc403d557a2516df70ea80fb19b94177beede5 for pr-119849
[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 21bc403d557a2516df70ea80fb19b94177beede5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+21bc403d557a2516df70ea80fb19b94177beede5" "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" "+21bc403d557a2516df70ea80fb19b94177beede5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[ERROR] error running command: no output for 300 seconds
[INFO] checking LemonHX/lean4-rs against try#21bc403d557a2516df70ea80fb19b94177beede5 for pr-119849
[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 21bc403d557a2516df70ea80fb19b94177beede5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+21bc403d557a2516df70ea80fb19b94177beede5" "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" "+21bc403d557a2516df70ea80fb19b94177beede5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded annotate-snippets v0.9.1
[INFO] [stderr]   Downloaded yansi-term v0.1.2
[INFO] [stderr]   Downloaded scc v1.8.2
[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" "+21bc403d557a2516df70ea80fb19b94177beede5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 336aad1b61a5188c62aaa8d05a740c8a443fbafe96f63fa963c6c0ed7da18f22
[INFO] running `Command { std: "docker" "start" "-a" "336aad1b61a5188c62aaa8d05a740c8a443fbafe96f63fa963c6c0ed7da18f22", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "336aad1b61a5188c62aaa8d05a740c8a443fbafe96f63fa963c6c0ed7da18f22", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "336aad1b61a5188c62aaa8d05a740c8a443fbafe96f63fa963c6c0ed7da18f22", kill_on_drop: false }`
[INFO] [stdout] 336aad1b61a5188c62aaa8d05a740c8a443fbafe96f63fa963c6c0ed7da18f22
[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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "+21bc403d557a2516df70ea80fb19b94177beede5" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d04a8fccf2ca5c8061c8829f48a9074b54823bceb38bf507dc93b362b3aefdd7
[INFO] running `Command { std: "docker" "start" "-a" "d04a8fccf2ca5c8061c8829f48a9074b54823bceb38bf507dc93b362b3aefdd7", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.60
[INFO] [stderr]    Compiling quote v1.0.28
[INFO] [stderr]    Compiling libc v0.2.146
[INFO] [stderr]    Compiling unicode-ident v1.0.9
[INFO] [stderr]    Compiling autocfg v1.1.0
[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 cfg-if v1.0.0
[INFO] [stderr]    Compiling libloading v0.7.4
[INFO] [stderr]    Compiling bindgen v0.65.1
[INFO] [stderr]    Compiling regex-syntax v0.7.2
[INFO] [stderr]    Compiling unicode-width v0.1.10
[INFO] [stderr]    Compiling yansi-term v0.1.2
[INFO] [stderr]    Compiling either v1.8.1
[INFO] [stderr]    Compiling clang-sys v1.6.1
[INFO] [stderr]    Compiling annotate-snippets v0.9.1
[INFO] [stderr]    Compiling shlex v1.1.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 which v4.4.0
[INFO] [stderr]    Compiling log v0.4.19
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling futures-core v0.3.28
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling slab v0.4.8
[INFO] [stderr]    Compiling lock_api v0.4.10
[INFO] [stderr]    Compiling futures-task v0.3.28
[INFO] [stderr]    Compiling parking_lot_core v0.9.8
[INFO] [stderr]    Compiling cc v1.0.79
[INFO] [stderr]    Compiling futures-channel v0.3.28
[INFO] [stderr]    Compiling futures-util v0.3.28
[INFO] [stderr]     Checking futures-sink v0.3.28
[INFO] [stderr]     Checking smallvec v1.10.0
[INFO] [stderr]     Checking pin-project-lite v0.2.9
[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]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking mio v0.8.8
[INFO] [stderr]     Checking socket2 v0.4.9
[INFO] [stderr]     Checking num_cpus v1.15.0
[INFO] [stderr]     Checking signal-hook-registry v1.4.1
[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-e7e9780b9772cf94/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:     0x55d73bd417b6 - std::backtrace_rs::backtrace::libunwind::trace::h4fd1834bcf123543
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/../../backtrace/src/backtrace/libunwind.rs:104:5
[INFO] [stderr]      1:     0x55d73bd417b6 - std::backtrace_rs::backtrace::trace_unsynchronized::hfb94bc7e739a4ca2
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x55d73bd417b6 - std::sys_common::backtrace::_print_fmt::h288785bd14d69ede
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stderr]      3:     0x55d73bd417b6 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hde3dd34a4bc52455
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stderr]      4:     0x55d73bd6d350 - core::fmt::rt::Argument::fmt::hdc513838daa012a2
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/core/src/fmt/rt.rs:142:9
[INFO] [stderr]      5:     0x55d73bd6d350 - core::fmt::write::h800937901909f214
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/core/src/fmt/mod.rs:1120:17
[INFO] [stderr]      6:     0x55d73bd3e59f - std::io::Write::write_fmt::h75a530e3e4636c92
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/io/mod.rs:1810:15
[INFO] [stderr]      7:     0x55d73bd41594 - std::sys_common::backtrace::_print::h8693eac597ec82da
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stderr]      8:     0x55d73bd41594 - std::sys_common::backtrace::print::hfe9ee43d9d75ba26
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stderr]      9:     0x55d73bd434c7 - std::panicking::default_hook::{{closure}}::h5cfe81d9c6fd1ddd
[INFO] [stderr]     10:     0x55d73bd43229 - std::panicking::default_hook::h0549a15ee9ebf46a
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:292:9
[INFO] [stderr]     11:     0x55d73bd43958 - std::panicking::rust_panic_with_hook::h82d384165d3f8a08
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:781:13
[INFO] [stderr]     12:     0x55d73bd43832 - std::panicking::begin_panic_handler::{{closure}}::h974da55acf3b3206
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:659:13
[INFO] [stderr]     13:     0x55d73bd41cb6 - std::sys_common::backtrace::__rust_end_short_backtrace::h6788f946af7f85dc
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stderr]     14:     0x55d73bd43590 - rust_begin_unwind
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:647:5
[INFO] [stderr]     15:     0x55d73b7ca795 - core::panicking::panic_fmt::h81987d9ec2b7953e
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/core/src/panicking.rs:72:14
[INFO] [stderr]     16:     0x55d73b7cad73 - core::result::unwrap_failed::h5703f5a18ca6cf36
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/core/src/result.rs:1649:5
[INFO] [stderr]     17:     0x55d73b7cc0de - core::result::Result<T,E>::expect::h2d16a4b6bd92dbf9
[INFO] [stderr]     18:     0x55d73b7cded8 - build_script_build::main::h77c944c76a4a942d
[INFO] [stderr]     19:     0x55d73b7cbc73 - core::ops::function::FnOnce::call_once::h347298125ea57161
[INFO] [stderr]     20:     0x55d73b7cb1d6 - std::sys_common::backtrace::__rust_begin_short_backtrace::h119d749ec374379f
[INFO] [stderr]     21:     0x55d73b7cb7d9 - std::rt::lang_start::{{closure}}::h0bbef0eb129d9e97
[INFO] [stderr]     22:     0x55d73bd39b31 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::hd2bb7856355d3392
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/core/src/ops/function.rs:284:13
[INFO] [stderr]     23:     0x55d73bd39b31 - std::panicking::try::do_call::hc2ea7c1f68c09c40
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:554:40
[INFO] [stderr]     24:     0x55d73bd39b31 - std::panicking::try::h1b507050d36e449e
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:518:19
[INFO] [stderr]     25:     0x55d73bd39b31 - std::panic::catch_unwind::h27adad719d917894
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panic.rs:142:14
[INFO] [stderr]     26:     0x55d73bd39b31 - std::rt::lang_start_internal::{{closure}}::h761558941ccdcac2
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/rt.rs:148:48
[INFO] [stderr]     27:     0x55d73bd39b31 - std::panicking::try::do_call::hee47e3bd45db985f
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:554:40
[INFO] [stderr]     28:     0x55d73bd39b31 - std::panicking::try::h419e2281bb91b3f2
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panicking.rs:518:19
[INFO] [stderr]     29:     0x55d73bd39b31 - std::panic::catch_unwind::h249fb54b630e2290
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/panic.rs:142:14
[INFO] [stderr]     30:     0x55d73bd39b31 - std::rt::lang_start_internal::h75dea4bfc9cb4fe4
[INFO] [stderr]                                  at /rustc/21bc403d557a2516df70ea80fb19b94177beede5/library/std/src/rt.rs:148:20
[INFO] [stderr]     31:     0x55d73b7cb7b7 - std::rt::lang_start::ha369647c154f837f
[INFO] [stderr]     32:     0x55d73b7ce8d5 - main
[INFO] [stderr]     33:     0x7f237a58ad90 - <unknown>
[INFO] [stderr]     34:     0x7f237a58ae40 - __libc_start_main
[INFO] [stderr]     35:     0x55d73b7cb075 - _start
[INFO] [stderr]     36:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "d04a8fccf2ca5c8061c8829f48a9074b54823bceb38bf507dc93b362b3aefdd7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d04a8fccf2ca5c8061c8829f48a9074b54823bceb38bf507dc93b362b3aefdd7", kill_on_drop: false }`
[INFO] [stdout] d04a8fccf2ca5c8061c8829f48a9074b54823bceb38bf507dc93b362b3aefdd7