lean-ffi-deps-0.1.0> Running phase: checkPhase
lean-ffi-deps-0.1.0> +++ command cargo test --release --locked --workspace --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 bignat v0.1.0 (/build/source/bignat)
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.52s
lean-ffi-deps-0.1.0>   Executable unittests src/lib.rs (target/release/deps/bignat-029c097fdec164f1)
lean-ffi-deps-0.1.0>   Executable unittests src/lib.rs (target/release/deps/lean_ffi-92cb53d1cee86490)
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/nahp79khf5fxp8y0kjs40s6hha33rxgx-lean-ffi-deps-0.1.0/target.tar.zst
lean-ffi-deps-0.1.0> /*stdin*\            : 24.89%   (   162 MiB =>   40.2 MiB, /nix/store/nahp79khf5fxp8y0kjs40s6hha33rxgx-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/nahp79khf5fxp8y0kjs40s6hha33rxgx-lean-ffi-deps-0.1.0
lean-ffi-deps-0.1.0> checking for references to /build/ in /nix/store/nahp79khf5fxp8y0kjs40s6hha33rxgx-lean-ffi-deps-0.1.0...
lean-ffi-deps-0.1.0> patching script interpreter paths in /nix/store/nahp79khf5fxp8y0kjs40s6hha33rxgx-lean-ffi-deps-0.1.0
lean-ffi-0.1.0> Running phase: unpackPhase
lean-ffi-0.1.0> unpacking source archive /nix/store/li5kbwa2a5956gj7q369s1ycryjj6ylp-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/nahp79khf5fxp8y0kjs40s6hha33rxgx-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/b89v70dfrypxc597g880758qj9s5s2wj-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 --workspace
lean-ffi-0.1.0>    Compiling lean-ffi v0.1.0 (/build/source)
lean-ffi-0.1.0>    Compiling bignat v0.1.0 (/build/source/bignat)
lean-ffi-0.1.0>     Finished `release` profile [optimized] target(s) in 2.81s
lean-ffi-0.1.0> searching for bins/libs to install from cargo build log at cargoBuildLoggsh6.json
lean-ffi-0.1.0> installing /build/source/target/release/liblean_ffi.a in postBuildInstallFromCargoBuildLogOutTempgEc/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 --workspace
lean-ffi-0.1.0>    Compiling bignat v0.1.0 (/build/source/bignat)
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.47s
lean-ffi-0.1.0>      Running unittests src/lib.rs (target/release/deps/bignat-7393863135846ec1)
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>      Running unittests src/lib.rs (target/release/deps/lean_ffi-9f9e9ec76a3d918f)
lean-ffi-0.1.0> 
lean-ffi-0.1.0> running 6 tests
lean-ffi-0.1.0> test object::layout_tests::layout_slice_is_usable_in_const_context ... ok
lean-ffi-0.1.0> test object::layout_tests::offsets_skip_absent_scalar_sizes ... ok
lean-ffi-0.1.0> test object::layout_tests::scalar_size_sums_all_scalar_sizes ... ok
lean-ffi-0.1.0> test object::layout_tests::scalar_base_skips_obj_and_usize ... ok
lean-ffi-0.1.0> test object::layout_tests::offsets_stack_by_descending_size ... ok
lean-ffi-0.1.0> test object::layout_tests::zero_layout_has_zero_size ... ok
lean-ffi-0.1.0> 
lean-ffi-0.1.0> test result: ok. 6 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 bignat
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 5 tests
lean-ffi-0.1.0> test src/lib.rs - lean_domain_type (line 70) ... ignored
lean-ffi-0.1.0> test src/lib.rs - lean_inductive (line 161) ... ignored
lean-ffi-0.1.0> test src/lib.rs - lean_inductive (line 174) ... ignored
lean-ffi-0.1.0> test src/lib.rs - lean_inductive (line 209) ... ignored
lean-ffi-0.1.0> test src/object.rs - object::LeanCtor (line 1000) ... ignored
lean-ffi-0.1.0> 
lean-ffi-0.1.0> test result: ok. 0 passed; 0 failed; 5 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.18s; merged doctests compilation took 0.17s
lean-ffi-0.1.0> Running phase: installPhase
lean-ffi-0.1.0> actually installing contents of postBuildInstallFromCargoBuildLogOutTempgEc to /nix/store/ph31md9vb87i85dayklf3jkqk6xni48p-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/ph31md9vb87i85dayklf3jkqk6xni48p-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/ph31md9vb87i85dayklf3jkqk6xni48p-lean-ffi-0.1.0
lean-ffi-0.1.0> checking for references to /build/ in /nix/store/ph31md9vb87i85dayklf3jkqk6xni48p-lean-ffi-0.1.0...
lean-ffi-0.1.0> patching script interpreter paths in /nix/store/ph31md9vb87i85dayklf3jkqk6xni48p-lean-ffi-0.1.0
lean-ffi-0.1.0> stripping (with command strip and flags -S -p) in  /nix/store/ph31md9vb87i85dayklf3jkqk6xni48p-lean-ffi-0.1.0/lib
Uploaded /nix/store/r66y18bky0my3wz876qwnj6717hp5diz-cargo-package-shlex-2.0.1 to the garnix binary cache.
Uploaded /nix/store/gy2bigfwmzhmn0998fxg07vndj3xfgy0-source to the garnix binary cache.
Uploaded /nix/store/xlp8ik9pxxghfk6n3s3y9z35nzf5i05l-cargo-package-log-0.4.31 to the garnix binary cache.
Uploaded /nix/store/b89v70dfrypxc597g880758qj9s5s2wj-vendor-cargo-deps to the garnix binary cache.
Uploaded /nix/store/l8fdqmlry4dnynds8m5q2b0ygsf22acd-vendor-registry to the garnix binary cache.
Uploaded /nix/store/cxv5bm7azz87p668jcrcxwsx1sr266ib-cargo-package-cc-1.2.63 to the garnix binary cache.
Uploaded /nix/store/p03rp12f5dz1l2sb2dc8qgv2ba6hw7al-cargo-package-bitflags-2.12.1 to the garnix binary cache.
Uploaded /nix/store/ph31md9vb87i85dayklf3jkqk6xni48p-lean-ffi-0.1.0 to the garnix binary cache.
Uploaded /nix/store/nahp79khf5fxp8y0kjs40s6hha33rxgx-lean-ffi-deps-0.1.0 to the garnix binary cache.