[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#c0bb140a37c81cf59a0b40c21c9413059644e294 for pr-129249-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FAndPuQing%2Fleo3" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-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-6-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/AndPuQing/leo3 on toolchain c0bb140a37c81cf59a0b40c21c9413059644e294 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "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" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded trybuild v1.0.116 [INFO] [stderr] Downloaded target-triple v1.0.0 [INFO] [stderr] Downloaded toml_parser v1.0.7+spec-1.1.0 [INFO] [stderr] Downloaded cc v1.2.55 [INFO] [stderr] Downloaded toml v1.0.0+spec-1.1.0 [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:3e793bdf10248eb2ddbd6b0faebed8155c11b4589982e2893733958d93e8d540" "sleep" "infinity", kill_on_drop: false }` [INFO] [stdout] 0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506 [INFO] running `Command { std: "docker" "start" "0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506", 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" "0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506" "/opt/rustwide/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506", 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" "0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506" "/opt/rustwide/cargo-home/bin/cargo" "+c0bb140a37c81cf59a0b40c21c9413059644e294" "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 unicode-ident v1.0.22 [INFO] [stderr] Compiling serde_core v1.0.228 [INFO] [stderr] Compiling leo3-build-config v0.2.2 (/opt/rustwide/workdir/leo3-build-config) [INFO] [stderr] Compiling libc v0.2.185 [INFO] [stderr] Checking memchr v2.7.6 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling zerocopy v0.8.31 [INFO] [stderr] Compiling serde_json v1.0.145 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking futures-core v0.3.32 [INFO] [stderr] Compiling cc v1.2.55 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Checking regex-syntax v0.8.8 [INFO] [stderr] Checking slab v0.4.12 [INFO] [stderr] Checking ciborium-io v0.2.2 [INFO] [stderr] Checking futures-channel v0.3.32 [INFO] [stderr] Checking anstyle v1.0.13 [INFO] [stderr] Checking clap_lex v0.7.6 [INFO] [stderr] Checking futures-io v0.3.32 [INFO] [stderr] Compiling target-triple v1.0.0 [INFO] [stderr] Checking winnow v0.7.14 [INFO] [stderr] Checking toml_writer v1.0.6+spec-1.1.0 [INFO] [stderr] Checking cast v0.3.0 [INFO] [stderr] Checking oorandom v11.1.5 [INFO] [stderr] Checking clap_builder v4.5.53 [INFO] [stderr] Checking glob v0.3.3 [INFO] [stderr] Checking anes v0.1.6 [INFO] [stderr] Checking itertools v0.13.0 [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] Checking rayon v1.11.0 [INFO] [stderr] Checking termcolor v1.4.1 [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] Checking plotters v0.3.7 [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] Compiling alloca v0.4.0 [INFO] [stderr] Checking page_size v0.6.0 [INFO] [stderr] Checking criterion-plot v0.8.2 [INFO] [stderr] Checking toml_parser v1.0.7+spec-1.1.0 [INFO] [stderr] Checking clap v4.5.53 [INFO] [stderr] Checking regex v1.12.2 [INFO] [stderr] Checking serde_spanned v1.0.4 [INFO] [stderr] Checking toml_datetime v1.0.0+spec-1.1.0 [INFO] [stderr] Checking toml v1.0.0+spec-1.1.0 [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 tokio v1.52.1 [INFO] [stderr] Checking futures-util v0.3.32 [INFO] [stderr] Checking leo3-macros v0.2.2 (/opt/rustwide/workdir/leo3-macros) [INFO] [stderr] Checking tinytemplate v1.2.1 [INFO] [stderr] Checking trybuild v1.0.116 [INFO] [stderr] Checking half v2.7.1 [INFO] [stderr] Checking ciborium-ll v0.2.2 [INFO] [stderr] Checking ciborium v0.2.2 [INFO] [stderr] Checking futures-executor v0.3.32 [INFO] [stderr] Checking futures v0.3.32 [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 32.46s [INFO] running `Command { std: "docker" "inspect" "0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506", kill_on_drop: false }` [INFO] [stdout] 0189ea4b07f642d11183b042b62c786309aa39b5c3c68d80f995dc7a1f613506