this derivation will be built: /nix/store/rc2sjm7wfgfqj0v5vlsy039mgxjihww3-lean-ctx-3.9.13.drv building '/nix/store/rc2sjm7wfgfqj0v5vlsy039mgxjihww3-lean-ctx-3.9.13.drv' on 'ssh-ng://nix-remote-builder@bld3.m.ntd.one' building '/nix/store/rc2sjm7wfgfqj0v5vlsy039mgxjihww3-lean-ctx-3.9.13.drv' lean-ctx-3.9.13> Using versionCheckHook lean-ctx-3.9.13> Running phase: unpackPhase lean-ctx-3.9.13> unpacking source archive /nix/store/7d3wnyh0x52d43jn71rpb587sff6swc2-source lean-ctx-3.9.13> source root is source lean-ctx-3.9.13> Executing cargoSetupPostUnpackHook lean-ctx-3.9.13> Finished cargoSetupPostUnpackHook lean-ctx-3.9.13> Running phase: patchPhase lean-ctx-3.9.13> Executing cargoSetupPostPatchHook lean-ctx-3.9.13> Validating consistency between /build/source/rust/Cargo.lock and /build/lean-ctx-3.9.13-vendor/Cargo.lock lean-ctx-3.9.13> Finished cargoSetupPostPatchHook lean-ctx-3.9.13> Running phase: updateAutotoolsGnuConfigScriptsPhase lean-ctx-3.9.13> Running phase: configurePhase lean-ctx-3.9.13> Running phase: buildPhase lean-ctx-3.9.13> Executing cargoBuildHook lean-ctx-3.9.13> /build/source/rust /build/source lean-ctx-3.9.13> cargoBuildHook flags: -j 8 --target aarch64-unknown-linux-gnu --offline --profile release lean-ctx-3.9.13> Compiling libc v0.2.186 lean-ctx-3.9.13> Compiling shlex v2.0.1 lean-ctx-3.9.13> Compiling find-msvc-tools v0.1.9 lean-ctx-3.9.13> Compiling proc-macro2 v1.0.107 lean-ctx-3.9.13> Compiling quote v1.0.47 lean-ctx-3.9.13> Compiling unicode-ident v1.0.24 lean-ctx-3.9.13> Compiling cfg-if v1.0.4 lean-ctx-3.9.13> Compiling tree-sitter-language v0.1.7 lean-ctx-3.9.13> Compiling typenum v1.20.1 lean-ctx-3.9.13> Compiling zeroize v1.9.0 lean-ctx-3.9.13> Compiling log v0.4.33 lean-ctx-3.9.13> Compiling memchr v2.8.3 lean-ctx-3.9.13> Compiling itoa v1.0.18 lean-ctx-3.9.13> Compiling version_check v0.9.5 lean-ctx-3.9.13> Compiling bytes v1.12.1 lean-ctx-3.9.13> Compiling pkg-config v0.3.33 lean-ctx-3.9.13> Compiling pin-project-lite v0.2.17 lean-ctx-3.9.13> Compiling generic-array v0.14.7 lean-ctx-3.9.13> Compiling smallvec v1.15.2 lean-ctx-3.9.13> Compiling once_cell v1.21.4 lean-ctx-3.9.13> Compiling serde_core v1.0.229 lean-ctx-3.9.13> Compiling jobserver v0.1.35 lean-ctx-3.9.13> Compiling futures-core v0.3.33 lean-ctx-3.9.13> Compiling syn v2.0.119 lean-ctx-3.9.13> Compiling syn v3.0.2 lean-ctx-3.9.13> Compiling cc v1.3.0 lean-ctx-3.9.13> Compiling zmij v1.0.23 lean-ctx-3.9.13> Compiling bitflags v2.13.1 lean-ctx-3.9.13> Compiling equivalent v1.0.2 lean-ctx-3.9.13> Compiling stable_deref_trait v1.2.1 lean-ctx-3.9.13> Compiling hybrid-array v0.4.13 lean-ctx-3.9.13> Compiling fs_extra v1.3.0 lean-ctx-3.9.13> Compiling foldhash v0.2.0 lean-ctx-3.9.13> Compiling dunce v1.0.5 lean-ctx-3.9.13> Compiling allocator-api2 v0.2.21 lean-ctx-3.9.13> Compiling getrandom v0.2.17 lean-ctx-3.9.13> Compiling errno v0.3.14 lean-ctx-3.9.13> Compiling mio v1.2.2 lean-ctx-3.9.13> Compiling signal-hook-registry v1.4.8 lean-ctx-3.9.13> Compiling rand_core v0.6.4 lean-ctx-3.9.13> Compiling socket2 v0.6.5 lean-ctx-3.9.13> Compiling crypto-common v0.1.7 lean-ctx-3.9.13> Compiling autocfg v1.5.1 lean-ctx-3.9.13> Compiling futures-sink v0.3.33 lean-ctx-3.9.13> Compiling futures-channel v0.3.33 lean-ctx-3.9.13> Compiling cmake v0.1.58 lean-ctx-3.9.13> Compiling subtle v2.6.1 lean-ctx-3.9.13> Compiling serde v1.0.229 lean-ctx-3.9.13> Compiling crypto-common v0.2.2 lean-ctx-3.9.13> Compiling http v1.4.2 lean-ctx-3.9.13> Compiling rustls-pki-types v1.15.0 lean-ctx-3.9.13> Compiling futures-task v0.3.33 lean-ctx-3.9.13> Compiling aws-lc-rs v1.17.3 lean-ctx-3.9.13> Compiling aws-lc-sys v0.43.0 lean-ctx-3.9.13> Compiling ring v0.17.14 lean-ctx-3.9.13> Compiling slab v0.4.12 lean-ctx-3.9.13> Compiling futures-io v0.3.33 lean-ctx-3.9.13> Compiling thiserror v2.0.19 lean-ctx-3.9.13> Compiling percent-encoding v2.3.2 lean-ctx-3.9.13> Compiling num-traits v0.2.19 lean-ctx-3.9.13> Compiling getrandom v0.4.3 lean-ctx-3.9.13> Compiling rand_core v0.10.1 lean-ctx-3.9.13> Compiling cmov v0.5.4 lean-ctx-3.9.13> Compiling block-buffer v0.12.1 lean-ctx-3.9.13> Compiling hashbrown v0.17.1 lean-ctx-3.9.13> Compiling ctutils v0.4.2 lean-ctx-3.9.13> Compiling tracing-core v0.1.36 lean-ctx-3.9.13> Compiling untrusted v0.9.0 lean-ctx-3.9.13> Compiling const-oid v0.10.2 lean-ctx-3.9.13> Compiling synstructure v0.13.2 lean-ctx-3.9.13> Compiling base64 v0.22.1 lean-ctx-3.9.13> Compiling digest v0.11.3 lean-ctx-3.9.13> Compiling rustls v0.23.42 lean-ctx-3.9.13> Compiling strsim v0.11.1 lean-ctx-3.9.13> Compiling ident_case v1.0.1 lean-ctx-3.9.13> Compiling litemap v0.8.2 lean-ctx-3.9.13> Compiling httparse v1.10.1 lean-ctx-3.9.13> Compiling writeable v0.6.3 lean-ctx-3.9.13> Compiling serde_json v1.0.151 lean-ctx-3.9.13> Compiling block-buffer v0.10.4 lean-ctx-3.9.13> Compiling icu_properties_data v2.1.2 lean-ctx-3.9.13> Compiling parking_lot_core v0.9.12 lean-ctx-3.9.13> Compiling icu_normalizer_data v2.1.1 lean-ctx-3.9.13> Compiling digest v0.10.7 lean-ctx-3.9.13> Compiling http-body v1.1.0 lean-ctx-3.9.13> Compiling cpufeatures v0.3.0 lean-ctx-3.9.13> Compiling aho-corasick v1.1.4 lean-ctx-3.9.13> Compiling regex-syntax v0.8.11 lean-ctx-3.9.13> Compiling serde_derive v1.0.229 lean-ctx-3.9.13> Compiling thiserror-impl v2.0.19 lean-ctx-3.9.13> Compiling tokio-macros v2.7.1 lean-ctx-3.9.13> Compiling zerofrom-derive v0.1.7 lean-ctx-3.9.13> Compiling tokio v1.53.0 lean-ctx-3.9.13> Compiling yoke-derive v0.8.2 lean-ctx-3.9.13> Compiling futures-macro v0.3.33 lean-ctx-3.9.13> Compiling zerovec-derive v0.11.3 lean-ctx-3.9.13> Compiling zerofrom v0.1.8 lean-ctx-3.9.13> Compiling futures-util v0.3.33 lean-ctx-3.9.13> Compiling yoke v0.8.3 lean-ctx-3.9.13> Compiling displaydoc v0.2.6 lean-ctx-3.9.13> Compiling zerovec v0.11.6 lean-ctx-3.9.13> Compiling tracing-attributes v0.1.31 lean-ctx-3.9.13> Compiling num-conv v0.2.2 lean-ctx-3.9.13> Compiling zerotrie v0.2.4 lean-ctx-3.9.13> Compiling scopeguard v1.2.0 lean-ctx-3.9.13> Compiling tinyvec_macros v0.1.1 lean-ctx-3.9.13> Compiling time-core v0.1.9 lean-ctx-3.9.13> Compiling crossbeam-utils v0.8.22 lean-ctx-3.9.13> Compiling time-macros v0.2.31 lean-ctx-3.9.13> Compiling tinyvec v1.12.0 lean-ctx-3.9.13> Compiling tracing v0.1.44 lean-ctx-3.9.13> Compiling tinystr v0.8.3 lean-ctx-3.9.13> Compiling potential_utf v0.1.5 lean-ctx-3.9.13> Compiling icu_collections v2.1.1 lean-ctx-3.9.13> Compiling lock_api v0.4.14 lean-ctx-3.9.13> Compiling icu_locale_core v2.1.1 lean-ctx-3.9.13> Compiling regex-automata v0.4.16 lean-ctx-3.9.13> Compiling icu_provider v2.1.1 lean-ctx-3.9.13> Compiling chacha20 v0.10.1 lean-ctx-3.9.13> Compiling block-padding v0.3.3 lean-ctx-3.9.13> Compiling cpufeatures v0.2.17 lean-ctx-3.9.13> Compiling tower-service v0.3.3 lean-ctx-3.9.13> Compiling deranged v0.5.8 lean-ctx-3.9.13> Compiling rustix v1.1.4 lean-ctx-3.9.13> Compiling powerfmt v0.2.0 lean-ctx-3.9.13> Compiling num_threads v0.1.7 lean-ctx-3.9.13> Compiling rustversion v1.0.23 lean-ctx-3.9.13> Compiling ryu v1.0.23 lean-ctx-3.9.13> Compiling semver v1.0.28 lean-ctx-3.9.13> Compiling rustc_version v0.4.1 lean-ctx-3.9.13> Compiling inout v0.1.4 lean-ctx-3.9.13> Compiling rand v0.10.2 lean-ctx-3.9.13> Compiling icu_normalizer v2.1.1 lean-ctx-3.9.13> Compiling icu_properties v2.1.2 lean-ctx-3.9.13> Compiling unicode-normalization v0.1.25 lean-ctx-3.9.13> Compiling time v0.3.53 lean-ctx-3.9.13> Compiling hmac v0.13.0 lean-ctx-3.9.13> Compiling hashbrown v0.16.1 lean-ctx-3.9.13> Compiling getrandom v0.3.4 lean-ctx-3.9.13> Compiling unicode-bidi v0.3.18 lean-ctx-3.9.13> Compiling byteorder v1.5.0 lean-ctx-3.9.13> Compiling unicode-properties v0.1.4 lean-ctx-3.9.13> Compiling fnv v1.0.7 lean-ctx-3.9.13> Compiling zerocopy v0.8.54 lean-ctx-3.9.13> Compiling linux-raw-sys v0.12.1 lean-ctx-3.9.13> Compiling crc32fast v1.5.0 lean-ctx-3.9.13> Compiling either v1.16.0 lean-ctx-3.9.13> Compiling darling_core v0.20.11 lean-ctx-3.9.13> Compiling stringprep v0.1.5 lean-ctx-3.9.13> Compiling indexmap v2.14.0 lean-ctx-3.9.13> Compiling idna_adapter v1.2.1 lean-ctx-3.9.13> Compiling cipher v0.4.4 lean-ctx-3.9.13> Compiling parking_lot v0.12.5 lean-ctx-3.9.13> Compiling sha2 v0.11.0 lean-ctx-3.9.13> Compiling form_urlencoded v1.2.2 lean-ctx-3.9.13> Compiling simd-adler32 v0.3.10 lean-ctx-3.9.13> Compiling try-lock v0.2.5 lean-ctx-3.9.13> Compiling litrs v1.0.0 lean-ctx-3.9.13> Compiling heck v0.5.0 lean-ctx-3.9.13> Compiling crossbeam-epoch v0.9.20 lean-ctx-3.9.13> Compiling tower-layer v0.3.3 lean-ctx-3.9.13> Compiling iana-time-zone v0.1.65 lean-ctx-3.9.13> Compiling utf8_iter v1.0.4 lean-ctx-3.9.13> Compiling idna v1.1.0 lean-ctx-3.9.13> Compiling chrono v0.4.45 lean-ctx-3.9.13> Compiling document-features v0.2.12 lean-ctx-3.9.13> Compiling strum_macros v0.28.0 lean-ctx-3.9.13> Compiling want v0.3.1 lean-ctx-3.9.13> Compiling darling_macro v0.20.11 lean-ctx-3.9.13> Compiling castaway v0.2.4 lean-ctx-3.9.13> Compiling itertools v0.14.0 lean-ctx-3.9.13> Compiling uuid v1.24.0 lean-ctx-3.9.13> Compiling zstd-sys v2.0.16+zstd.1.5.7 lean-ctx-3.9.13> Compiling sync_wrapper v1.0.2 lean-ctx-3.9.13> Compiling httpdate v1.0.3 lean-ctx-3.9.13> Compiling atomic-waker v1.1.2 lean-ctx-3.9.13> Compiling signal-hook v0.3.18 lean-ctx-3.9.13> Compiling openssl-probe v0.2.1 lean-ctx-3.9.13> Compiling static_assertions v1.1.0 lean-ctx-3.9.13> Compiling instability v0.3.10 lean-ctx-3.9.13> Compiling unicode-width v0.2.2 lean-ctx-3.9.13> Compiling unicode-segmentation v1.13.3 lean-ctx-3.9.13> Compiling adler2 v2.0.1 lean-ctx-3.9.13> Compiling strum v0.28.0 lean-ctx-3.9.13> Compiling miniz_oxide v0.8.9 lean-ctx-3.9.13> Compiling rustls-native-certs v0.8.4 lean-ctx-3.9.13> Compiling compact_str v0.9.1 lean-ctx-3.9.13> Compiling convert_case v0.10.0 lean-ctx-3.9.13> Compiling hyper v1.10.1 lean-ctx-3.9.13> Compiling unicode-truncate v2.0.1 lean-ctx-3.9.13> Compiling darling v0.20.11 lean-ctx-3.9.13> Compiling rand_core v0.9.5 lean-ctx-3.9.13> Compiling tokio-util v0.7.18 lean-ctx-3.9.13> Compiling kasuari v0.4.12 lean-ctx-3.9.13> Compiling http-body-util v0.1.4 lean-ctx-3.9.13> Compiling md-5 v0.11.0 lean-ctx-3.9.13> Compiling lru v0.18.1 lean-ctx-3.9.13> Compiling cookie v0.18.1 lean-ctx-3.9.13> Compiling lazy_static v1.5.0 lean-ctx-3.9.13> Compiling zlib-rs v0.6.6 lean-ctx-3.9.13> Compiling siphasher v1.0.3 lean-ctx-3.9.13> Compiling cfg_aliases v0.2.2 lean-ctx-3.9.13> Compiling indoc v2.0.7 lean-ctx-3.9.13> Compiling fallible-iterator v0.2.0 lean-ctx-3.9.13> Compiling crossbeam-deque v0.8.7 lean-ctx-3.9.13> Compiling critical-section v1.2.0 lean-ctx-3.9.13> Compiling ipnet v2.12.0 lean-ctx-3.9.13> Compiling ratatui-core v0.1.2 lean-ctx-3.9.13> Compiling postgres-protocol v0.6.12 lean-ctx-3.9.13> Compiling hyper-util v0.1.20 lean-ctx-3.9.13> Compiling nix v0.31.3 lean-ctx-3.9.13> Compiling phf_shared v0.13.1 lean-ctx-3.9.13> Compiling ppv-lite86 v0.2.21 lean-ctx-3.9.13> Compiling derive_more-impl v2.1.1 lean-ctx-3.9.13> Compiling rand_chacha v0.9.0 lean-ctx-3.9.13> Compiling flate2 v1.1.9 lean-ctx-3.9.13> Compiling tower v0.5.3 lean-ctx-3.9.13> Compiling url v2.5.8 lean-ctx-3.9.13> Compiling der_derive v0.7.3 lean-ctx-3.9.13> Compiling async-trait v0.1.91 lean-ctx-3.9.13> Compiling darling_core v0.23.0 lean-ctx-3.9.13> Compiling tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8 lean-ctx-3.9.13> Compiling webpki-roots v1.0.9 lean-ctx-3.9.13> Compiling matrixmultiply v0.3.11 lean-ctx-3.9.13> Compiling flagset v0.4.7 lean-ctx-3.9.13> Compiling zstd-safe v7.2.4 lean-ctx-3.9.13> Compiling vcpkg v0.2.15 lean-ctx-3.9.13> Compiling const-oid v0.9.6 lean-ctx-3.9.13> Compiling ref-cast v1.0.26 lean-ctx-3.9.13> Compiling psl-types v2.0.11 lean-ctx-3.9.13> Compiling utf8parse v0.2.2 lean-ctx-3.9.13> Compiling anstyle-parse v1.0.0 lean-ctx-3.9.13> Compiling publicsuffix v2.3.0 lean-ctx-3.9.13> Compiling derive_more v2.1.1 lean-ctx-3.9.13> Compiling rand v0.9.5 lean-ctx-3.9.13> Compiling signal-hook-mio v0.2.5 lean-ctx-3.9.13> Compiling libsqlite3-sys v0.37.0 lean-ctx-3.9.13> Compiling phf v0.13.1 lean-ctx-3.9.13> Compiling postgres-types v0.2.14 lean-ctx-3.9.13> Compiling der v0.7.10 lean-ctx-3.9.13> Compiling tree-sitter v0.26.11 lean-ctx-3.9.13> Compiling bstr v1.13.0 lean-ctx-3.9.13> Compiling futures-executor v0.3.33 lean-ctx-3.9.13> Compiling darling_macro v0.23.0 lean-ctx-3.9.13> Compiling heapless v0.7.17 lean-ctx-3.9.13> Compiling curve25519-dalek v4.1.3 lean-ctx-3.9.13> Compiling sha1 v0.10.7 lean-ctx-3.9.13> Compiling sha2 v0.10.9 lean-ctx-3.9.13> Compiling ref-cast-impl v1.0.26 lean-ctx-3.9.13> Compiling serde_derive_internals v0.29.1 lean-ctx-3.9.13> Compiling inout v0.2.2 lean-ctx-3.9.13> Compiling whoami v2.1.2 lean-ctx-3.9.13> Compiling line-clipping v0.3.7 lean-ctx-3.9.13> Compiling colorchoice v1.0.5 lean-ctx-3.9.13> Compiling mime v0.3.17 lean-ctx-3.9.13> Compiling anstyle v1.0.14 lean-ctx-3.9.13> Compiling anyhow v1.0.104 lean-ctx-3.9.13> Compiling data-encoding v2.11.0 lean-ctx-3.9.13> Compiling ort-sys v2.0.0-rc.12 lean-ctx-3.9.13> Compiling paste v1.0.15 lean-ctx-3.9.13> Compiling anstyle-query v1.1.5 lean-ctx-3.9.13> Compiling portable-atomic v1.14.0 lean-ctx-3.9.13> Compiling rawpointer v0.2.1 lean-ctx-3.9.13> Compiling rayon-core v1.13.0 lean-ctx-3.9.13> Compiling bit-vec v0.8.0 lean-ctx-3.9.13> Compiling winnow v1.0.4 lean-ctx-3.9.13> Compiling pom v1.1.0 lean-ctx-3.9.13> Compiling is_terminal_polyfill v1.70.2 lean-ctx-3.9.13> Compiling anstream v1.0.0 lean-ctx-3.9.13> Compiling bit-set v0.8.0 lean-ctx-3.9.13> Compiling schemars_derive v1.2.1 lean-ctx-3.9.13> Compiling tokio-postgres v0.7.18 lean-ctx-3.9.13> Compiling ratatui-widgets v0.3.2 lean-ctx-3.9.13> Compiling toml_parser v1.1.2+spec-1.1.0 lean-ctx-3.9.13> Compiling cipher v0.5.2 lean-ctx-3.9.13> Compiling darling v0.23.0 lean-ctx-3.9.13> Compiling spki v0.7.3 lean-ctx-3.9.13> Compiling futures v0.3.33 lean-ctx-3.9.13> Compiling cookie_store v0.22.0 lean-ctx-3.9.13> Compiling crossterm v0.29.0 lean-ctx-3.9.13> Compiling webpki-roots v0.26.11 lean-ctx-3.9.13> Compiling tower-http v0.6.11 lean-ctx-3.9.13> Compiling ecb v0.1.2 lean-ctx-3.9.13> Compiling aes v0.8.4 lean-ctx-3.9.13> Compiling cbc v0.1.2 lean-ctx-3.9.13> Compiling deadpool-runtime v0.1.4 lean-ctx-3.9.13> Compiling regex v1.13.1 lean-ctx-3.9.13> Compiling hash32 v0.2.1 lean-ctx-3.9.13> Compiling md-5 v0.10.6 lean-ctx-3.9.13> Compiling num-integer v0.1.46 lean-ctx-3.9.13> Compiling num-complex v0.4.6 lean-ctx-3.9.13> Compiling toml_datetime v1.1.1+spec-1.1.0 lean-ctx-3.9.13> Compiling tree-sitter-swift v0.7.3 lean-ctx-3.9.13> Compiling tree-sitter-julia v0.23.1 lean-ctx-3.9.13> Compiling blake3 v1.8.5 lean-ctx-3.9.13> Compiling tree-sitter-solidity v1.2.13 lean-ctx-3.9.13> Compiling tree-sitter-go v0.25.0 lean-ctx-3.9.13> Compiling tree-sitter-scala v0.26.0 lean-ctx-3.9.13> Compiling tree-sitter-luau v1.2.0 lean-ctx-3.9.13> Compiling tree-sitter-nix v0.3.0 lean-ctx-3.9.13> Compiling tree-sitter-php v0.24.2 lean-ctx-3.9.13> Compiling tree-sitter-zig v1.1.2 lean-ctx-3.9.13> Compiling tree-sitter-java v0.23.5 lean-ctx-3.9.13> Compiling tree-sitter-kotlin-ng v1.1.0 lean-ctx-3.9.13> Compiling tree-sitter-powershell v0.26.4 lean-ctx-3.9.13> Compiling tree-sitter-bash v0.25.1 lean-ctx-3.9.13> Compiling tree-sitter-cpp v0.23.4 lean-ctx-3.9.13> Compiling tree-sitter-lua v0.5.0 lean-ctx-3.9.13> Compiling tree-sitter-c v0.24.2 lean-ctx-3.9.13> Compiling tree-sitter-dart v0.2.0 lean-ctx-3.9.13> Compiling tree-sitter-rust v0.24.2 lean-ctx-3.9.13> Compiling tree-sitter-ocaml v0.25.0 lean-ctx-3.9.13> Compiling tree-sitter-haskell v0.23.1 lean-ctx-3.9.13> Compiling tree-sitter-python v0.25.0 lean-ctx-3.9.13> Compiling tree-sitter-elixir v0.3.5 lean-ctx-3.9.13> Compiling tree-sitter-ruby v0.23.1 lean-ctx-3.9.13> Compiling tree-sitter-gdscript v6.1.0 lean-ctx-3.9.13> Compiling tree-sitter-typescript v0.23.2 lean-ctx-3.9.13> Compiling tree-sitter-javascript v0.25.0 lean-ctx-3.9.13> Compiling tree-sitter-c-sharp v0.23.5 lean-ctx-3.9.13> Compiling universal-hash v0.5.1 lean-ctx-3.9.13> Compiling num_cpus v1.17.0 lean-ctx-3.9.13> Compiling nom v8.0.0 lean-ctx-3.9.13> Compiling encoding_rs v0.8.35 lean-ctx-3.9.13> Compiling cpubits v0.1.1 lean-ctx-3.9.13> Compiling weezl v0.1.12 lean-ctx-3.9.13> Compiling bitflags v1.3.2 lean-ctx-3.9.13> Compiling ttf-parser v0.25.1 lean-ctx-3.9.13> Compiling bumpalo v3.20.3 lean-ctx-3.9.13> Compiling constant_time_eq v0.4.2 lean-ctx-3.9.13> Compiling same-file v1.0.6 lean-ctx-3.9.13> Compiling rangemap v1.7.1 lean-ctx-3.9.13> Compiling dyn-clone v1.0.20 lean-ctx-3.9.13> Compiling clap_lex v1.1.0 lean-ctx-3.9.13> Compiling signature v2.2.0 lean-ctx-3.9.13> Compiling toml_writer v1.1.2+spec-1.1.0 lean-ctx-3.9.13> Compiling rmcp v2.0.0 (/build/source/rust/crates/vendor/rmcp) lean-ctx-3.9.13> Compiling option-ext v0.2.0 lean-ctx-3.9.13> Compiling libbz2-rs-sys v0.2.5 lean-ctx-3.9.13> Compiling opaque-debug v0.3.1 lean-ctx-3.9.13> Compiling poly1305 v0.8.0 lean-ctx-3.9.13> Compiling bzip2 v0.6.1 lean-ctx-3.9.13> Compiling dirs-sys v0.5.0 lean-ctx-3.9.13> Compiling ed25519 v2.2.3 lean-ctx-3.9.13> Compiling clap_builder v4.6.2 lean-ctx-3.9.13> Compiling lopdf v0.42.0 lean-ctx-3.9.13> Compiling schemars v1.2.1 lean-ctx-3.9.13> Compiling walkdir v2.5.0 lean-ctx-3.9.13> Compiling zopfli v0.8.3 lean-ctx-3.9.13> Compiling fluent-uri v0.1.4 lean-ctx-3.9.13> Compiling aes v0.9.1 lean-ctx-3.9.13> Compiling deadpool v0.12.3 lean-ctx-3.9.13> Compiling zstd v0.13.3 lean-ctx-3.9.13> Compiling ndarray v0.17.2 lean-ctx-3.9.13> Compiling ratatui-crossterm v0.1.2 lean-ctx-3.9.13> Compiling process-wrap v9.1.0 lean-ctx-3.9.13> Compiling x509-cert v0.2.5 lean-ctx-3.9.13> Compiling rmcp-macros v2.0.0 (/build/source/rust/crates/vendor/rmcp-macros) lean-ctx-3.9.13> Compiling ratatui-macros v0.7.2 lean-ctx-3.9.13> Compiling rustls-webpki v0.103.13 lean-ctx-3.9.13> Compiling type1-encoding-parser v0.1.1 lean-ctx-3.9.13> Compiling adobe-cmap-parser v0.4.1 lean-ctx-3.9.13> Compiling fancy-regex v0.17.0 lean-ctx-3.9.13> Compiling axum-core v0.5.6 lean-ctx-3.9.13> Compiling globset v0.4.19 lean-ctx-3.9.13> Compiling sharded-slab v0.1.7 lean-ctx-3.9.13> Compiling sse-stream v0.2.4 lean-ctx-3.9.13> Compiling lzma-rust2 v0.16.5 lean-ctx-3.9.13> Compiling serde_urlencoded v0.7.1 lean-ctx-3.9.13> Compiling xattr v1.6.1 lean-ctx-3.9.13> Compiling chacha20 v0.9.1 lean-ctx-3.9.13> Compiling tokio-stream v0.1.18 lean-ctx-3.9.13> Compiling hashlink v0.11.1 lean-ctx-3.9.13> Compiling matchers v0.2.0 lean-ctx-3.9.13> Compiling crossbeam-channel v0.5.16 lean-ctx-3.9.13> Compiling pbkdf2 v0.13.0 lean-ctx-3.9.13> Compiling cobs v0.3.0 lean-ctx-3.9.13> Compiling serde_repr v0.1.21 lean-ctx-3.9.13> Compiling ureq-proto v0.6.0 lean-ctx-3.9.13> Compiling sha1 v0.11.0 lean-ctx-3.9.13> Compiling euclid v0.20.14 lean-ctx-3.9.13> Compiling tracing-log v0.2.0 lean-ctx-3.9.13> Compiling serde_spanned v1.1.1 lean-ctx-3.9.13> Compiling serde_path_to_error v0.1.20 lean-ctx-3.9.13> Compiling aead v0.5.2 lean-ctx-3.9.13> Compiling filetime v0.2.29 lean-ctx-3.9.13> Compiling rtoolbox v0.0.5 lean-ctx-3.9.13> Compiling libloading v0.9.0 lean-ctx-3.9.13> Compiling thread_local v1.1.10 lean-ctx-3.9.13> Compiling postscript v0.14.1 lean-ctx-3.9.13> Compiling arrayvec v0.7.8 lean-ctx-3.9.13> Compiling fastrand v2.5.0 lean-ctx-3.9.13> Compiling cff-parser v0.2.0 lean-ctx-3.9.13> Compiling matchit v0.8.4 lean-ctx-3.9.13> Compiling arrayref v0.3.9 lean-ctx-3.9.13> Compiling rustc-hash v2.1.3 lean-ctx-3.9.13> Compiling ppmd-rust v1.4.0 lean-ctx-3.9.13> Compiling nu-ansi-term v0.50.3 lean-ctx-3.9.13> Compiling hashbrown v0.14.5 lean-ctx-3.9.13> Compiling typed-path v0.12.3 lean-ctx-3.9.13> Compiling lean-ctx v3.9.13 (/build/source/rust) lean-ctx-3.9.13> Compiling fallible-iterator v0.3.0 lean-ctx-3.9.13> Compiling streaming-iterator v0.1.9 lean-ctx-3.9.13> Compiling libyaml-rs v0.3.0 lean-ctx-3.9.13> Compiling fallible-streaming-iterator v0.1.9 lean-ctx-3.9.13> Compiling tagptr v0.2.0 lean-ctx-3.9.13> Compiling pastey v0.2.3 lean-ctx-3.9.13> Compiling deflate64 v0.1.12 lean-ctx-3.9.13> Compiling utf8-zero v0.8.1 lean-ctx-3.9.13> Compiling rusqlite v0.39.0 lean-ctx-3.9.13> Compiling yaml_serde v0.10.4 lean-ctx-3.9.13> Compiling dashmap v6.2.1 lean-ctx-3.9.13> Compiling moka v0.12.15 lean-ctx-3.9.13> Compiling zip v8.6.0 lean-ctx-3.9.13> Compiling tokio-rustls v0.26.4 lean-ctx-3.9.13> Compiling tungstenite v0.29.0 lean-ctx-3.9.13> Compiling hyper-rustls v0.27.9 lean-ctx-3.9.13> Compiling rustls-platform-verifier v0.7.0 lean-ctx-3.9.13> Compiling reqwest v0.13.4 lean-ctx-3.9.13> Compiling rustls-platform-verifier v0.6.2 lean-ctx-3.9.13> Compiling tokio-postgres-rustls v0.14.0 lean-ctx-3.9.13> Compiling tokio-tungstenite v0.29.0 lean-ctx-3.9.13> Compiling ureq v3.3.0 lean-ctx-3.9.13> Compiling axum v0.8.9 lean-ctx-3.9.13> Compiling pdf-extract v0.12.0 lean-ctx-3.9.13> Compiling tracing-subscriber v0.3.23 lean-ctx-3.9.13> Compiling tiktoken-rs v0.12.0 lean-ctx-3.9.13> Compiling tempfile v3.27.0 lean-ctx-3.9.13> Compiling ort v2.0.0-rc.12 lean-ctx-3.9.13> Compiling lsp-types v0.97.0 lean-ctx-3.9.13> Compiling rpassword v7.5.4 lean-ctx-3.9.13> Compiling tar v0.4.46 lean-ctx-3.9.13> Compiling chacha20poly1305 v0.10.1 lean-ctx-3.9.13> Compiling toml v1.1.3+spec-1.1.0 lean-ctx-3.9.13> Compiling postcard v1.1.3 lean-ctx-3.9.13> Compiling ignore v0.4.30 lean-ctx-3.9.13> Compiling rayon v1.12.0 lean-ctx-3.9.13> Compiling ratatui v0.30.2 lean-ctx-3.9.13> Compiling ed25519-dalek v2.2.0 lean-ctx-3.9.13> Compiling deadpool-postgres v0.14.1 lean-ctx-3.9.13> Compiling clap v4.6.2 lean-ctx-3.9.13> Compiling dirs v6.0.0 lean-ctx-3.9.13> Compiling toml_edit v0.25.13+spec-1.1.0 lean-ctx-3.9.13> Compiling tower-http v0.7.0 lean-ctx-3.9.13> Compiling gethostname v1.1.0 lean-ctx-3.9.13> Compiling hkdf v0.13.0 lean-ctx-3.9.13> Compiling memmap2 v0.9.11 lean-ctx-3.9.13> Compiling fs2 v0.4.3 lean-ctx-3.9.13> Compiling libloading v0.8.9 lean-ctx-3.9.13> Compiling glob v0.3.3 lean-ctx-3.9.13> Compiling urlencoding v2.1.3 lean-ctx-3.9.13> Compiling bytecount v0.6.9 lean-ctx-3.9.13> Compiling similar v3.1.1 lean-ctx-3.9.13> Compiling hex v0.4.3 lean-ctx-3.9.13> Compiling tikv-jemalloc-ctl v0.7.0 lean-ctx-3.9.13> Compiling tikv-jemallocator v0.7.0 lean-ctx-3.9.13> Finished `release` profile [optimized] target(s) in 59m 35s lean-ctx-3.9.13> /build/source lean-ctx-3.9.13> Executing cargoInstallPostBuildHook lean-ctx-3.9.13> Finished cargoInstallPostBuildHook lean-ctx-3.9.13> Finished cargoBuildHook lean-ctx-3.9.13> buildPhase completed in 59 minutes 42 seconds lean-ctx-3.9.13> Running phase: installPhase lean-ctx-3.9.13> Executing cargoInstallHook lean-ctx-3.9.13> Finished cargoInstallHook lean-ctx-3.9.13> Running phase: fixupPhase lean-ctx-3.9.13> shrinking RPATHs of ELF executables and libraries in /nix/store/684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13 lean-ctx-3.9.13> shrinking /nix/store/684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13/bin/lean-ctx lean-ctx-3.9.13> checking for references to /build/ in /nix/store/684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13... lean-ctx-3.9.13> patching script interpreter paths in /nix/store/684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13 lean-ctx-3.9.13> stripping (with command strip and flags -S -p) in /nix/store/684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13/bin lean-ctx-3.9.13> Running phase: installCheckPhase lean-ctx-3.9.13> Executing versionCheckPhase lean-ctx-3.9.13> Successfully managed to find version 3.9.13 in the output of the command /nix/store/684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13/bin/lean-ctx --version lean-ctx-3.9.13> lean-ctx 3.9.13 (official, https://github.com/yvgude/lean-ctx) lean-ctx-3.9.13> Finished versionCheckPhase lean-ctx-3.9.13> no Makefile or custom installCheckPhase, doing nothing post-build step Upload to niks3: ok time=2026-08-02T23:16:37.626Z level=INFO msg="Uploading 1 paths to niks3.numtide.com (6 already cached)" time=2026-08-02T23:16:37.626Z level=INFO msg="Uploading 684nz5p553w3bdrqhsimfhlhjgk5ll5v-lean-ctx-3.9.13 (102.1MB)" time=2026-08-02T23:16:40.014Z level=INFO msg="Uploading 1 narinfos" time=2026-08-02T23:16:40.193Z level=INFO msg="Upload complete. (2.85s)"