[INFO] cloning repository https://github.com/AndPuQing/leo3
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/AndPuQing/leo3" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAndPuQing%2Fleo3", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAndPuQing%2Fleo3'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8310f0d6a0088e8b89c880204af65bf6d60d4084
[INFO] checking AndPuQing/leo3 against master#6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd for pr-153721
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAndPuQing%2Fleo3" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/AndPuQing/leo3
[INFO] finished tweaking git repo https://github.com/AndPuQing/leo3
[INFO] tweaked toml for git repo https://github.com/AndPuQing/leo3 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/AndPuQing/leo3 on toolchain 6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/AndPuQing/leo3 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" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded alloca v0.4.0
[INFO] [stderr]   Downloaded toml_parser v1.0.7+spec-1.1.0
[INFO] [stderr]   Downloaded toml v1.0.0+spec-1.1.0
[INFO] [stderr]   Downloaded criterion-plot v0.8.2
[INFO] [stderr]   Downloaded criterion v0.8.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef
[INFO] running `Command { std: "docker" "start" "4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef", 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" "4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef" "/opt/rustwide/cargo-home/bin/cargo" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef", 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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef" "/opt/rustwide/cargo-home/bin/cargo" "+6eda7419e71fdbc1185ed5be7e6bff1a474ab5cd" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling leo3-build-config v0.2.2 (/opt/rustwide/workdir/leo3-build-config)
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]     Checking futures-sink v0.3.32
[INFO] [stderr]     Checking futures-core v0.3.32
[INFO] [stderr]    Compiling target-triple v1.0.0
[INFO] [stderr]     Checking winnow v0.7.14
[INFO] [stderr]     Checking slab v0.4.12
[INFO] [stderr]     Checking regex-syntax v0.8.8
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking clap_lex v0.7.6
[INFO] [stderr]     Checking serde_spanned v1.0.4
[INFO] [stderr]     Checking toml_datetime v1.0.0+spec-1.1.0
[INFO] [stderr]     Checking itertools v0.13.0
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking clap_builder v4.5.53
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking toml_writer v1.0.6+spec-1.1.0
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking page_size v0.6.0
[INFO] [stderr]     Checking futures-channel v0.3.32
[INFO] [stderr]     Checking glob v0.3.3
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking unicode-ident v1.0.22
[INFO] [stderr] warning: leo3-build-config@0.2.2: Failed to resolve Lean4 configuration: failed to detect Lean4 via host discovery
[INFO] [stderr] warning: leo3-build-config@0.2.2:   lake env printenv LEAN_HOME: failed to run lake --version
[INFO] [stderr] warning: leo3-build-config@0.2.2:   elan which lean: failed to run elan which lean
[INFO] [stderr] warning: leo3-build-config@0.2.2:   PATH (lean): which lean failed: exit status exit status: 1
[INFO] [stderr] warning: leo3-build-config@0.2.2:   hint: Host discovery order: LEO3_CROSS_* -> LEAN_HOME -> lake -> elan -> PATH
[INFO] [stderr] warning: leo3-build-config@0.2.2:   hint: Set LEO3_CONFIG_FILE=/path/to/leo3-build-config.txt to bypass host discovery
[INFO] [stderr] warning: leo3-build-config@0.2.2:   hint: Set LEO3_NO_LEAN=1 for compile-only builds that should not link Lean4
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]    Compiling leo3-ffi v0.2.2 (/opt/rustwide/workdir/leo3-ffi)
[INFO] [stderr]    Compiling leo3 v0.2.2 (/opt/rustwide/workdir/leo3)
[INFO] [stderr] warning: leo3-ffi@0.2.2: Failed to resolve Lean4 configuration: failed to detect Lean4 via host discovery
[INFO] [stderr] warning: leo3-ffi@0.2.2:   lake env printenv LEAN_HOME: failed to run lake --version
[INFO] [stderr] warning: leo3-ffi@0.2.2:   elan which lean: failed to run elan which lean
[INFO] [stderr] warning: leo3-ffi@0.2.2:   PATH (lean): which lean failed: exit status exit status: 1
[INFO] [stderr] warning: leo3-ffi@0.2.2:   hint: Host discovery order: LEO3_CROSS_* -> LEAN_HOME -> lake -> elan -> PATH
[INFO] [stderr] warning: leo3-ffi@0.2.2:   hint: Set LEO3_CONFIG_FILE=/path/to/leo3-build-config.txt to bypass host discovery
[INFO] [stderr] warning: leo3-ffi@0.2.2:   hint: Set LEO3_NO_LEAN=1 for compile-only builds that should not link Lean4
[INFO] [stderr] warning: leo3-ffi@0.2.2: Leo3 will not function without Lean4 installed
[INFO] [stderr] warning: leo3-ffi@0.2.2: Set LEO3_NO_LEAN=1 to build without Lean4 (compile-only)
[INFO] [stderr] warning: leo3@0.2.2: Failed to resolve Lean4 configuration: leo3 expects leo3-ffi to export DEP_LEAN4_LEO3_CONFIG
[INFO] [stderr] warning: leo3@0.2.2:   DEP_LEAN4_LEO3_CONFIG: not set
[INFO] [stderr] warning: leo3@0.2.2:   hint: Build leo3 together with leo3-ffi so Cargo can propagate the shared Lean4 config
[INFO] [stderr] warning: leo3@0.2.2:   hint: If leo3-ffi could not detect Lean4, check its warnings or set LEO3_CONFIG_FILE / LEAN_HOME before building
[INFO] [stderr] warning: leo3@0.2.2:   hint: Set LEO3_NO_LEAN=1 for compile-only builds that should not link Lean4
[INFO] [stderr] warning: leo3@0.2.2: leo3 reuses the Lean4 config chosen by leo3-ffi to avoid cfg mismatches
[INFO] [stderr]     Checking toml_parser v1.0.7+spec-1.1.0
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]     Checking criterion-plot v0.8.2
[INFO] [stderr]     Checking toml v1.0.0+spec-1.1.0
[INFO] [stderr]     Checking clap v4.5.53
[INFO] [stderr]     Checking regex v1.12.2
[INFO] [stderr]     Checking leo3-binding-ir v0.2.2 (/opt/rustwide/workdir/leo3-binding-ir)
[INFO] [stderr]     Checking leo3-macros-backend v0.2.2 (/opt/rustwide/workdir/leo3-macros-backend)
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.31
[INFO] [stderr]    Compiling futures-macro v0.3.32
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]     Checking leo3-macros v0.2.2 (/opt/rustwide/workdir/leo3-macros)
[INFO] [stderr]     Checking tokio v1.52.1
[INFO] [stderr]     Checking futures-util v0.3.32
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking futures-executor v0.3.32
[INFO] [stderr]     Checking futures v0.3.32
[INFO] [stderr]     Checking ciborium-ll v0.2.2
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking trybuild v1.0.116
[INFO] [stderr]     Checking ciborium v0.2.2
[INFO] [stderr]     Checking criterion v0.8.2
[INFO] [stdout] warning: function `identity_fn` is never used
[INFO] [stdout]   --> leo3/tests/test_closure.rs:67:22
[INFO] [stdout]    |
[INFO] [stdout] 67 | unsafe extern "C" fn identity_fn(x: *mut leo3::ffi::lean_object) -> *mut leo3::ffi::lean_object {
[INFO] [stdout]    |                      ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `inc_nat` is never used
[INFO] [stdout]   --> leo3/tests/test_closure.rs:73:22
[INFO] [stdout]    |
[INFO] [stdout] 73 | unsafe extern "C" fn inc_nat(x: *mut leo3::ffi::lean_object) -> *mut leo3::ffi::lean_object {
[INFO] [stdout]    |                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_nat` is never used
[INFO] [stdout]   --> leo3/tests/test_closure.rs:79:22
[INFO] [stdout]    |
[INFO] [stdout] 79 | unsafe extern "C" fn add_nat(
[INFO] [stdout]    |                      ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.75s
[INFO] running `Command { std: "docker" "inspect" "4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef", kill_on_drop: false }`
[INFO] [stdout] 4c2d38a81f88caf96ceebe2d6a8f78d087282e45a1142cca94c0b31d214b35ef
