lean-ffi-deps-0.1.0>    Compiling glob v0.3.3
lean-ffi-deps-0.1.0>    Compiling quote v1.0.45
lean-ffi-deps-0.1.0>    Compiling libc v0.2.183
lean-ffi-deps-0.1.0>    Compiling prettyplease v0.2.37
lean-ffi-deps-0.1.0>    Compiling cfg-if v1.0.4
lean-ffi-deps-0.1.0>    Compiling regex-syntax v0.8.10
lean-ffi-deps-0.1.0>    Compiling memchr v2.8.0
lean-ffi-deps-0.1.0>    Compiling minimal-lexical v0.2.1
lean-ffi-deps-0.1.0>    Compiling shlex v1.3.0
lean-ffi-deps-0.1.0>    Compiling either v1.15.0
lean-ffi-deps-0.1.0>    Compiling bindgen v0.72.1
lean-ffi-deps-0.1.0>    Compiling bitflags v2.11.0
lean-ffi-deps-0.1.0>    Compiling log v0.4.29
lean-ffi-deps-0.1.0>    Compiling find-msvc-tools v0.1.9
lean-ffi-deps-0.1.0>    Compiling rustc-hash v2.1.1
lean-ffi-deps-0.1.0>    Compiling libloading v0.8.9
lean-ffi-deps-0.1.0>    Compiling itertools v0.13.0
lean-ffi-deps-0.1.0>    Compiling cc v1.2.57
lean-ffi-deps-0.1.0>    Compiling num-traits v0.2.19
lean-ffi-deps-0.1.0>    Compiling clang-sys v1.8.1
lean-ffi-deps-0.1.0>    Compiling nom v7.1.3
lean-ffi-deps-0.1.0>    Compiling syn v2.0.117
lean-ffi-deps-0.1.0>     Checking num-integer v0.1.46
lean-ffi-deps-0.1.0>    Compiling regex-automata v0.4.14
lean-ffi-deps-0.1.0>     Checking num-bigint v0.4.6
lean-ffi-deps-0.1.0>    Compiling cexpr v0.6.0
lean-ffi-deps-0.1.0>    Compiling regex v1.12.3
lean-ffi-deps-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-deps-0.1.0>     Finished `release` profile [optimized] target(s) in 5.86s
lean-ffi-deps-0.1.0> +++ command cargo build --release --locked
lean-ffi-deps-0.1.0>    Compiling num-traits v0.2.19
lean-ffi-deps-0.1.0>    Compiling num-integer v0.1.46
lean-ffi-deps-0.1.0>    Compiling num-bigint v0.4.6
lean-ffi-deps-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-deps-0.1.0>     Finished `release` profile [optimized] target(s) in 2.00s
lean-ffi-deps-0.1.0> Running phase: checkPhase
lean-ffi-deps-0.1.0> +++ command cargo test --release --locked --no-run
lean-ffi-deps-0.1.0>    Compiling num-traits v0.2.19
lean-ffi-deps-0.1.0>    Compiling num-integer v0.1.46
lean-ffi-deps-0.1.0>    Compiling num-bigint v0.4.6
lean-ffi-deps-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-deps-0.1.0>     Finished `release` profile [optimized] target(s) in 2.23s
lean-ffi-deps-0.1.0>   Executable unittests src/lib.rs (target/release/deps/lean_ffi-522be3c76b504f72)
lean-ffi-deps-0.1.0> Running phase: installPhase
lean-ffi-deps-0.1.0> no previous artifacts found, compressing and installing full archive of target to /nix/store/ciiikwy50whsnzr1qrz8wadmzkmrgrds-lean-ffi-deps-0.1.0/target.tar.zst
lean-ffi-deps-0.1.0> /*stdin*\            : 25.24%   (   160 MiB =>   40.3 MiB, /nix/store/ciiikwy50whsnzr1qrz8wadmzkmrgrds-lean-ffi-deps-0.1.0/target.tar.zst) 
lean-ffi-deps-0.1.0> Running phase: fixupPhase
lean-ffi-deps-0.1.0> shrinking RPATHs of ELF executables and libraries in /nix/store/ciiikwy50whsnzr1qrz8wadmzkmrgrds-lean-ffi-deps-0.1.0
lean-ffi-deps-0.1.0> checking for references to /build/ in /nix/store/ciiikwy50whsnzr1qrz8wadmzkmrgrds-lean-ffi-deps-0.1.0...
lean-ffi-deps-0.1.0> patching script interpreter paths in /nix/store/ciiikwy50whsnzr1qrz8wadmzkmrgrds-lean-ffi-deps-0.1.0
lean-ffi-0.1.0> Running phase: unpackPhase
lean-ffi-0.1.0> unpacking source archive /nix/store/bw66kd88s90hvp1j4f5mcpa9sxqiyp5d-source
lean-ffi-0.1.0> source root is source
lean-ffi-0.1.0> Running phase: patchPhase
lean-ffi-0.1.0> Executing configureCargoCommonVars
lean-ffi-0.1.0> decompressing cargo artifacts from /nix/store/ciiikwy50whsnzr1qrz8wadmzkmrgrds-lean-ffi-deps-0.1.0/target.tar.zst to target
lean-ffi-0.1.0> Running phase: updateAutotoolsGnuConfigScriptsPhase
lean-ffi-0.1.0> Running phase: configurePhase
lean-ffi-0.1.0> will append /build/source/.cargo-home/config.toml with contents of /nix/store/pds6vjir6gd1d6fqr7wiqlihb33cdakp-vendor-cargo-deps/config.toml
lean-ffi-0.1.0> default configurePhase, nothing to do
lean-ffi-0.1.0> Running phase: buildPhase
lean-ffi-0.1.0> +++ command cargo --version
lean-ffi-0.1.0> cargo 1.92.0 (344c4567c 2025-10-21)
lean-ffi-0.1.0> +++ command cargo build --release --message-format json-render-diagnostics --locked
lean-ffi-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-0.1.0>     Finished `release` profile [optimized] target(s) in 2.86s
lean-ffi-0.1.0> searching for bins/libs to install from cargo build log at cargoBuildLogyyaf.json
lean-ffi-0.1.0> installing /build/source/target/release/liblean_ffi.a in postBuildInstallFromCargoBuildLogOutTempKlQ/lib
lean-ffi-0.1.0> searching for bins/libs complete
lean-ffi-0.1.0> Running phase: checkPhase
lean-ffi-0.1.0> +++ command cargo test --release --locked
lean-ffi-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-0.1.0>     Finished `release` profile [optimized] target(s) in 0.37s
lean-ffi-0.1.0>      Running unittests src/lib.rs (target/release/deps/lean_ffi-55701dfbd6c20e54)
lean-ffi-0.1.0> 
lean-ffi-0.1.0> running 0 tests
lean-ffi-0.1.0> 
lean-ffi-0.1.0> test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
lean-ffi-0.1.0> 
lean-ffi-0.1.0>    Doc-tests lean_ffi
lean-ffi-0.1.0> 
lean-ffi-0.1.0> running 1 test
lean-ffi-0.1.0> test src/lib.rs - lean_domain_type (line 66) ... ignored
lean-ffi-0.1.0> 
lean-ffi-0.1.0> test result: ok. 0 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
lean-ffi-0.1.0> 
lean-ffi-0.1.0> all doctests ran in 0.20s; merged doctests compilation took 0.19s
lean-ffi-0.1.0> Running phase: installPhase
lean-ffi-0.1.0> actually installing contents of postBuildInstallFromCargoBuildLogOutTempKlQ to /nix/store/6hahd9rlk6pfqaiqalqak0dlgby6dqsh-lean-ffi-0.1.0
lean-ffi-0.1.0> stripping references to Rust toolchain
lean-ffi-0.1.0> Rust toolchain at: /nix/store/rsybhz6z6zwbjf2mvkvr25ld48ps6ddz-rust-1.92
lean-ffi-0.1.0> stripping Rust toolchain references done
lean-ffi-0.1.0> stripping references to cargoVendorDir from:
lean-ffi-0.1.0> /nix/store/6hahd9rlk6pfqaiqalqak0dlgby6dqsh-lean-ffi-0.1.0/lib/liblean_ffi.a
lean-ffi-0.1.0> stripping references done
lean-ffi-0.1.0> Running phase: fixupPhase
lean-ffi-0.1.0> shrinking RPATHs of ELF executables and libraries in /nix/store/6hahd9rlk6pfqaiqalqak0dlgby6dqsh-lean-ffi-0.1.0
lean-ffi-0.1.0> checking for references to /build/ in /nix/store/6hahd9rlk6pfqaiqalqak0dlgby6dqsh-lean-ffi-0.1.0...
lean-ffi-0.1.0> patching script interpreter paths in /nix/store/6hahd9rlk6pfqaiqalqak0dlgby6dqsh-lean-ffi-0.1.0
lean-ffi-0.1.0> stripping (with command strip and flags -S -p) in  /nix/store/6hahd9rlk6pfqaiqalqak0dlgby6dqsh-lean-ffi-0.1.0/lib