this derivation will be built: /nix/store/g32d6g0n6cl8giq64alzzarxx0g2balb-lean-ctx-3.10.2.drv building '/nix/store/g32d6g0n6cl8giq64alzzarxx0g2balb-lean-ctx-3.10.2.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=22&system=aarch64-linux' building 'g32d6g0n6cl8giq64alzzarxx0g2balb-lean-ctx-3.10.2.drv' on farm.numtide.com:50051 lean-ctx-3.10.2> bld3: building g32d6g0n6cl8giq64alzzarxx0g2balb-lean-ctx-3.10.2.drv lean-ctx-3.10.2> Using versionCheckHook lean-ctx-3.10.2> Running phase: unpackPhase lean-ctx-3.10.2> unpacking source archive /nix/store/ccfnjahgna7qdlkcik0njk5scazlf0lx-source lean-ctx-3.10.2> source root is source lean-ctx-3.10.2> Executing cargoSetupPostUnpackHook lean-ctx-3.10.2> Finished cargoSetupPostUnpackHook lean-ctx-3.10.2> Running phase: patchPhase lean-ctx-3.10.2> Executing cargoSetupPostPatchHook lean-ctx-3.10.2> Validating consistency between /build/source/rust/Cargo.lock and /build/lean-ctx-3.10.2-vendor/Cargo.lock lean-ctx-3.10.2> Finished cargoSetupPostPatchHook lean-ctx-3.10.2> Running phase: updateAutotoolsGnuConfigScriptsPhase lean-ctx-3.10.2> Running phase: configurePhase lean-ctx-3.10.2> Running phase: buildPhase lean-ctx-3.10.2> Executing cargoBuildHook lean-ctx-3.10.2> /build/source/rust /build/source lean-ctx-3.10.2> cargoBuildHook flags: -j 8 --target aarch64-unknown-linux-gnu --offline --profile release lean-ctx-3.10.2> Compiling libc v0.2.189 lean-ctx-3.10.2> Compiling shlex v2.0.1 lean-ctx-3.10.2> Compiling find-msvc-tools v0.1.10 lean-ctx-3.10.2> Compiling proc-macro2 v1.0.107 lean-ctx-3.10.2> Compiling unicode-ident v1.0.24 lean-ctx-3.10.2> Compiling quote v1.0.47 lean-ctx-3.10.2> Compiling cfg-if v1.0.4 lean-ctx-3.10.2> Compiling tree-sitter-language v0.1.7 lean-ctx-3.10.2> Compiling typenum v1.20.1 lean-ctx-3.10.2> Compiling zeroize v1.9.0 lean-ctx-3.10.2> Compiling memchr v2.8.3 lean-ctx-3.10.2> Compiling version_check v0.9.5 lean-ctx-3.10.2> Compiling itoa v1.0.18 lean-ctx-3.10.2> Compiling pkg-config v0.3.33 lean-ctx-3.10.2> Compiling log v0.4.33 lean-ctx-3.10.2> Compiling generic-array v0.14.7 lean-ctx-3.10.2> Compiling pin-project-lite v0.2.17 lean-ctx-3.10.2> Compiling subtle v2.6.1 lean-ctx-3.10.2> Compiling bytes v1.12.1 lean-ctx-3.10.2> Compiling serde_core v1.0.229 lean-ctx-3.10.2> Compiling once_cell v1.21.4 lean-ctx-3.10.2> Compiling smallvec v1.15.2 lean-ctx-3.10.2> Compiling futures-core v0.3.33 lean-ctx-3.10.2> Compiling syn v3.0.3 lean-ctx-3.10.2> Compiling syn v2.0.119 lean-ctx-3.10.2> Compiling stable_deref_trait v1.2.1 lean-ctx-3.10.2> Compiling zmij v1.0.23 lean-ctx-3.10.2> Compiling fs_extra v1.3.0 lean-ctx-3.10.2> Compiling dunce v1.0.5 lean-ctx-3.10.2> Compiling http v1.5.0 lean-ctx-3.10.2> Compiling jobserver v0.1.35 lean-ctx-3.10.2> Compiling cc v1.4.2 lean-ctx-3.10.2> Compiling hybrid-array v0.4.14 lean-ctx-3.10.2> Compiling futures-sink v0.3.33 lean-ctx-3.10.2> Compiling bitflags v2.13.1 lean-ctx-3.10.2> Compiling autocfg v1.5.1 lean-ctx-3.10.2> Compiling getrandom v0.2.17 lean-ctx-3.10.2> Compiling errno v0.3.14 lean-ctx-3.10.2> Compiling rand_core v0.6.4 lean-ctx-3.10.2> Compiling cmake v0.1.58 lean-ctx-3.10.2> Compiling serde v1.0.229 lean-ctx-3.10.2> Compiling crypto-common v0.1.7 lean-ctx-3.10.2> Compiling signal-hook-registry v1.4.8 lean-ctx-3.10.2> Compiling mio v1.2.2 lean-ctx-3.10.2> Compiling socket2 v0.6.5 lean-ctx-3.10.2> Compiling futures-channel v0.3.33 lean-ctx-3.10.2> Compiling rustls-pki-types v1.15.1 lean-ctx-3.10.2> Compiling aws-lc-rs v1.18.0 lean-ctx-3.10.2> Compiling crypto-common v0.2.2 lean-ctx-3.10.2> Compiling block-buffer v0.10.4 lean-ctx-3.10.2> Compiling tracing-core v0.1.36 lean-ctx-3.10.2> Compiling foldhash v0.2.0 lean-ctx-3.10.2> Compiling aws-lc-sys v0.44.0 lean-ctx-3.10.2> Compiling ring v0.17.14 lean-ctx-3.10.2> Compiling futures-io v0.3.33 lean-ctx-3.10.2> Compiling slab v0.4.12 lean-ctx-3.10.2> Compiling percent-encoding v2.3.2 lean-ctx-3.10.2> Compiling futures-task v0.3.33 lean-ctx-3.10.2> Compiling digest v0.10.7 lean-ctx-3.10.2> Compiling cmov v0.5.4 lean-ctx-3.10.2> Compiling litemap v0.8.2 lean-ctx-3.10.2> Compiling untrusted v0.9.0 lean-ctx-3.10.2> Compiling writeable v0.6.3 lean-ctx-3.10.2> Compiling httparse v1.10.1 lean-ctx-3.10.2> Compiling ctutils v0.4.2 lean-ctx-3.10.2> Compiling num-traits v0.2.19 lean-ctx-3.10.2> Compiling block-buffer v0.12.1 lean-ctx-3.10.2> Compiling icu_properties_data v2.1.2 lean-ctx-3.10.2> Compiling thiserror v2.0.20 lean-ctx-3.10.2> Compiling equivalent v1.0.2 lean-ctx-3.10.2> Compiling const-oid v0.10.2 lean-ctx-3.10.2> Compiling rustls v0.23.45 lean-ctx-3.10.2> Compiling icu_normalizer_data v2.1.1 lean-ctx-3.10.2> Compiling digest v0.11.3 lean-ctx-3.10.2> Compiling http-body v1.1.0 lean-ctx-3.10.2> Compiling aho-corasick v1.1.5 lean-ctx-3.10.2> Compiling crossbeam-utils v0.8.22 lean-ctx-3.10.2> Compiling regex-syntax v0.8.11 lean-ctx-3.10.2> Compiling synstructure v0.13.2 lean-ctx-3.10.2> Compiling rand_core v0.10.1 lean-ctx-3.10.2> Compiling allocator-api2 v0.2.21 lean-ctx-3.10.2> Compiling getrandom v0.4.3 lean-ctx-3.10.2> Compiling serde_json v1.0.151 lean-ctx-3.10.2> Compiling hashbrown v0.17.1 lean-ctx-3.10.2> Compiling displaydoc v0.2.7 lean-ctx-3.10.2> Compiling serde_derive v1.0.229 lean-ctx-3.10.2> Compiling tokio-macros v2.7.2 lean-ctx-3.10.2> Compiling zerofrom-derive v0.1.7 lean-ctx-3.10.2> Compiling yoke-derive v0.8.2 lean-ctx-3.10.2> Compiling zerovec-derive v0.11.3 lean-ctx-3.10.2> Compiling tokio v1.53.1 lean-ctx-3.10.2> Compiling futures-macro v0.3.33 lean-ctx-3.10.2> Compiling zerofrom v0.1.8 lean-ctx-3.10.2> Compiling tracing-attributes v0.1.31 lean-ctx-3.10.2> Compiling yoke v0.8.3 lean-ctx-3.10.2> Compiling zerotrie v0.2.4 lean-ctx-3.10.2> Compiling zerovec v0.11.6 lean-ctx-3.10.2> Compiling futures-util v0.3.33 lean-ctx-3.10.2> Compiling thiserror-impl v2.0.20 lean-ctx-3.10.2> Compiling tinystr v0.8.3 lean-ctx-3.10.2> Compiling icu_locale_core v2.1.1 lean-ctx-3.10.2> Compiling tracing v0.1.44 lean-ctx-3.10.2> Compiling potential_utf v0.1.5 lean-ctx-3.10.2> Compiling icu_collections v2.1.1 lean-ctx-3.10.2> Compiling regex-automata v0.4.18 lean-ctx-3.10.2> Compiling cpufeatures v0.2.17 lean-ctx-3.10.2> Compiling block-padding v0.3.3 lean-ctx-3.10.2> Compiling getrandom v0.3.4 lean-ctx-3.10.2> Compiling semver v1.0.28 lean-ctx-3.10.2> Compiling icu_provider v2.1.1 lean-ctx-3.10.2> Compiling tower-service v0.3.3 lean-ctx-3.10.2> Compiling rustc_version v0.4.1 lean-ctx-3.10.2> Compiling inout v0.1.4 lean-ctx-3.10.2> Compiling icu_properties v2.1.2 lean-ctx-3.10.2> Compiling icu_normalizer v2.1.1 lean-ctx-3.10.2> Compiling zerocopy v0.8.56 lean-ctx-3.10.2> Compiling crc32fast v1.5.0 lean-ctx-3.10.2> Compiling cipher v0.4.4 lean-ctx-3.10.2> Compiling indexmap v2.14.0 lean-ctx-3.10.2> Compiling idna_adapter v1.2.1 lean-ctx-3.10.2> Compiling form_urlencoded v1.2.2 lean-ctx-3.10.2> Compiling cpufeatures v0.3.0 lean-ctx-3.10.2> Compiling utf8_iter v1.0.4 lean-ctx-3.10.2> Compiling try-lock v0.2.5 lean-ctx-3.10.2> Compiling num-conv v0.2.2 lean-ctx-3.10.2> Compiling simd-adler32 v0.3.10 lean-ctx-3.10.2> Compiling base64 v0.22.1 lean-ctx-3.10.2> Compiling tower-layer v0.3.3 lean-ctx-3.10.2> Compiling time-core v0.1.9 lean-ctx-3.10.2> Compiling crossbeam-epoch v0.9.20 lean-ctx-3.10.2> Compiling want v0.3.1 lean-ctx-3.10.2> Compiling idna v1.1.0 lean-ctx-3.10.2> Compiling time-macros v0.2.32 lean-ctx-3.10.2> Compiling zstd-sys v2.0.16+zstd.1.5.7 lean-ctx-3.10.2> Compiling sync_wrapper v1.0.2 lean-ctx-3.10.2> Compiling powerfmt v0.2.0 lean-ctx-3.10.2> Compiling deranged v0.5.8 lean-ctx-3.10.2> Compiling atomic-waker v1.1.2 lean-ctx-3.10.2> Compiling httpdate v1.0.3 lean-ctx-3.10.2> Compiling rustix v1.1.4 lean-ctx-3.10.2> Compiling adler2 v2.0.1 lean-ctx-3.10.2> Compiling time v0.3.55 lean-ctx-3.10.2> Compiling miniz_oxide v0.8.9 lean-ctx-3.10.2> Compiling hyper v1.11.0 lean-ctx-3.10.2> Compiling rand_core v0.9.5 lean-ctx-3.10.2> Compiling http-body-util v0.1.4 lean-ctx-3.10.2> Compiling cookie v0.18.2 lean-ctx-3.10.2> Compiling parking_lot_core v0.9.12 lean-ctx-3.10.2> Compiling ipnet v2.12.1 lean-ctx-3.10.2> Compiling crossbeam-deque v0.8.7 lean-ctx-3.10.2> Compiling zlib-rs v0.6.7 lean-ctx-3.10.2> Compiling ppv-lite86 v0.2.21 lean-ctx-3.10.2> Compiling bumpalo v3.20.3 lean-ctx-3.10.2> Compiling openssl-probe v0.2.1 lean-ctx-3.10.2> Compiling ident_case v1.0.1 lean-ctx-3.10.2> Compiling cfg_aliases v0.2.2 lean-ctx-3.10.2> Compiling libm v0.2.16 lean-ctx-3.10.2> Compiling strsim v0.11.1 lean-ctx-3.10.2> Compiling linux-raw-sys v0.12.1 lean-ctx-3.10.2> Compiling tinyvec_macros v0.1.1 lean-ctx-3.10.2> Compiling tinyvec v1.12.0 lean-ctx-3.10.2> Compiling darling_core v0.23.0 lean-ctx-3.10.2> Compiling nix v0.31.3 lean-ctx-3.10.2> Compiling rustls-native-certs v0.8.4 lean-ctx-3.10.2> Compiling rand_chacha v0.9.0 lean-ctx-3.10.2> Compiling hyper-util v0.1.20 lean-ctx-3.10.2> Compiling tower v0.5.3 lean-ctx-3.10.2> Compiling url v2.5.8 lean-ctx-3.10.2> Compiling sha2 v0.11.0 lean-ctx-3.10.2> Compiling flate2 v1.1.9 lean-ctx-3.10.2> Compiling chacha20 v0.10.2 lean-ctx-3.10.2> Compiling tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8 lean-ctx-3.10.2> Compiling webpki-roots v1.0.9 lean-ctx-3.10.2> Compiling matrixmultiply v0.3.11 lean-ctx-3.10.2> Compiling ref-cast v1.0.26 lean-ctx-3.10.2> Compiling zstd-safe v7.2.4 lean-ctx-3.10.2> Compiling utf8parse v0.2.2 lean-ctx-3.10.2> Compiling vcpkg v0.2.15 lean-ctx-3.10.2> Compiling scopeguard v1.2.0 lean-ctx-3.10.2> Compiling psl-types v2.0.11 lean-ctx-3.10.2> Compiling leb128fmt v0.1.0 lean-ctx-3.10.2> Compiling litrs v1.0.0 lean-ctx-3.10.2> Compiling publicsuffix v2.3.0 lean-ctx-3.10.2> Compiling wasm-encoder v0.255.0 lean-ctx-3.10.2> Compiling lock_api v0.4.14 lean-ctx-3.10.2> Compiling anstyle-parse v1.0.0 lean-ctx-3.10.2> Compiling darling_macro v0.23.0 lean-ctx-3.10.2> Compiling rand v0.10.2 lean-ctx-3.10.2> Compiling libsqlite3-sys v0.37.0 lean-ctx-3.10.2> Compiling document-features v0.2.12 lean-ctx-3.10.2> Compiling rand v0.9.5 lean-ctx-3.10.2> Compiling unicode-normalization v0.1.25 lean-ctx-3.10.2> Compiling tree-sitter v0.26.12 lean-ctx-3.10.2> Compiling bstr v1.13.0 lean-ctx-3.10.2> Compiling heapless v0.7.17 lean-ctx-3.10.2> Compiling curve25519-dalek v4.1.3 lean-ctx-3.10.2> Compiling futures-executor v0.3.33 lean-ctx-3.10.2> Compiling sha1 v0.10.7 lean-ctx-3.10.2> Compiling sha2 v0.10.9 lean-ctx-3.10.2> Compiling ref-cast-impl v1.0.26 lean-ctx-3.10.2> Compiling hmac v0.13.0 lean-ctx-3.10.2> Compiling serde_derive_internals v0.30.0 lean-ctx-3.10.2> Compiling blake3 v1.8.6 lean-ctx-3.10.2> Compiling inout v0.2.2 lean-ctx-3.10.2> Compiling ryu v1.0.23 lean-ctx-3.10.2> Compiling lazy_static v1.5.0 lean-ctx-3.10.2> Compiling anyhow v1.0.104 lean-ctx-3.10.2> Compiling data-encoding v2.11.1 lean-ctx-3.10.2> Compiling portable-atomic v1.14.0 lean-ctx-3.10.2> Compiling is_terminal_polyfill v1.70.2 lean-ctx-3.10.2> Compiling rayon-core v1.13.0 lean-ctx-3.10.2> Compiling constant_time_eq v0.4.2 lean-ctx-3.10.2> Compiling rawpointer v0.2.1 lean-ctx-3.10.2> Compiling anstyle v1.0.14 lean-ctx-3.10.2> Compiling winnow v1.0.4 lean-ctx-3.10.2> Compiling unicode-width v0.2.2 lean-ctx-3.10.2> Compiling anstyle-query v1.1.5 lean-ctx-3.10.2> Compiling pom v1.1.0 lean-ctx-3.10.2> Compiling wasmparser v0.239.0 lean-ctx-3.10.2> Compiling mime v0.3.17 lean-ctx-3.10.2> Compiling unicode-properties v0.1.4 lean-ctx-3.10.2> Compiling colorchoice v1.0.5 lean-ctx-3.10.2> Compiling unicode-bidi v0.3.18 lean-ctx-3.10.2> Compiling iana-time-zone v0.1.65 lean-ctx-3.10.2> Compiling paste v1.0.15 lean-ctx-3.10.2> Compiling bit-vec v0.8.0 lean-ctx-3.10.2> Compiling ort-sys v2.0.0-rc.12 lean-ctx-3.10.2> Compiling byteorder v1.5.0 lean-ctx-3.10.2> Compiling bit-set v0.8.0 lean-ctx-3.10.2> Compiling hash32 v0.2.1 lean-ctx-3.10.2> Compiling toml_parser v1.1.3+spec-1.1.0 lean-ctx-3.10.2> Compiling stringprep v0.1.5 lean-ctx-3.10.2> Compiling chrono v0.4.45 lean-ctx-3.10.2> Compiling anstream v1.0.0 lean-ctx-3.10.2> Compiling wast v255.0.0 lean-ctx-3.10.2> Compiling schemars_derive v1.2.2 lean-ctx-3.10.2> Compiling cipher v0.5.2 lean-ctx-3.10.2> Compiling wasmi_core v1.1.0 lean-ctx-3.10.2> Compiling futures v0.3.33 lean-ctx-3.10.2> Compiling cookie_store v0.22.0 lean-ctx-3.10.2> Compiling darling v0.23.0 lean-ctx-3.10.2> Compiling webpki-roots v0.26.11 lean-ctx-3.10.2> Compiling tower-http v0.6.11 lean-ctx-3.10.2> Compiling regex v1.13.1 lean-ctx-3.10.2> Compiling tokio-util v0.7.19 lean-ctx-3.10.2> Compiling ecb v0.1.2 lean-ctx-3.10.2> Compiling aes v0.8.4 lean-ctx-3.10.2> Compiling cbc v0.1.2 lean-ctx-3.10.2> Compiling uuid v1.24.0 lean-ctx-3.10.2> Compiling num-complex v0.4.6 lean-ctx-3.10.2> Compiling num-integer v0.1.46 lean-ctx-3.10.2> Compiling async-trait v0.1.92 lean-ctx-3.10.2> Compiling md-5 v0.10.6 lean-ctx-3.10.2> Compiling hashbrown v0.16.1 lean-ctx-3.10.2> Compiling tree-sitter-gdscript v6.1.0 lean-ctx-3.10.2> Compiling tree-sitter-cpp v0.23.4 lean-ctx-3.10.2> Compiling tree-sitter-go v0.25.0 lean-ctx-3.10.2> Compiling tree-sitter-java v0.23.5 lean-ctx-3.10.2> Compiling tree-sitter-javascript v0.25.0 lean-ctx-3.10.2> Compiling tree-sitter-nix v0.3.0 lean-ctx-3.10.2> Compiling tree-sitter-zig v1.1.2 lean-ctx-3.10.2> Compiling tree-sitter-kotlin-ng v1.1.0 lean-ctx-3.10.2> Compiling tree-sitter-luau v1.2.0 lean-ctx-3.10.2> Compiling tree-sitter-c v0.24.2 lean-ctx-3.10.2> Compiling tree-sitter-elixir v0.3.5 lean-ctx-3.10.2> Compiling tree-sitter-ocaml v0.25.0 lean-ctx-3.10.2> Compiling tree-sitter-swift v0.7.3 lean-ctx-3.10.2> Compiling tree-sitter-python v0.25.0 lean-ctx-3.10.2> Compiling tree-sitter-julia v0.23.1 lean-ctx-3.10.2> Compiling tree-sitter-ruby v0.23.1 lean-ctx-3.10.2> Compiling tree-sitter-typescript v0.23.2 lean-ctx-3.10.2> Compiling tree-sitter-bash v0.25.1 lean-ctx-3.10.2> Compiling tree-sitter-php v0.24.2 lean-ctx-3.10.2> Compiling tree-sitter-haskell v0.23.1 lean-ctx-3.10.2> Compiling tree-sitter-rust v0.24.2 lean-ctx-3.10.2> Compiling tree-sitter-dart v0.2.0 lean-ctx-3.10.2> Compiling tree-sitter-scala v0.26.2 lean-ctx-3.10.2> Compiling tree-sitter-powershell v0.26.4 lean-ctx-3.10.2> Compiling tree-sitter-solidity v1.2.13 lean-ctx-3.10.2> Compiling tree-sitter-c-sharp v0.23.5 lean-ctx-3.10.2> Compiling tree-sitter-lua v0.5.0 lean-ctx-3.10.2> Compiling toml_datetime v1.1.1+spec-1.1.0 lean-ctx-3.10.2> Compiling universal-hash v0.5.1 lean-ctx-3.10.2> Compiling nom v8.0.0 lean-ctx-3.10.2> Compiling encoding_rs v0.8.35 lean-ctx-3.10.2> Compiling base64ct v1.8.3 lean-ctx-3.10.2> Compiling option-ext v0.2.0 lean-ctx-3.10.2> Compiling rmcp v2.0.0 (/build/source/rust/crates/vendor/rmcp) lean-ctx-3.10.2> Compiling rangemap v1.7.1 lean-ctx-3.10.2> Compiling signature v2.2.0 lean-ctx-3.10.2> Compiling clap_lex v1.1.0 lean-ctx-3.10.2> Compiling libbz2-rs-sys v0.2.5 lean-ctx-3.10.2> Compiling opaque-debug v0.3.1 lean-ctx-3.10.2> Compiling heck v0.5.0 lean-ctx-3.10.2> Compiling toml_writer v1.1.2+spec-1.1.0 lean-ctx-3.10.2> Compiling arrayref v0.3.9 lean-ctx-3.10.2> Compiling bitflags v1.3.2 lean-ctx-3.10.2> Compiling arrayvec v0.7.8 lean-ctx-3.10.2> Compiling base64 v0.23.1 lean-ctx-3.10.2> Compiling ttf-parser v0.25.1 lean-ctx-3.10.2> Compiling dyn-clone v1.0.20 lean-ctx-3.10.2> Compiling same-file v1.0.6 lean-ctx-3.10.2> Compiling cpubits v0.1.1 lean-ctx-3.10.2> Compiling weezl v0.1.12 lean-ctx-3.10.2> Compiling aes v0.9.2 lean-ctx-3.10.2> Compiling walkdir v2.5.0 lean-ctx-3.10.2> Compiling schemars v1.2.2 lean-ctx-3.10.2> Compiling clap_builder v4.6.6 lean-ctx-3.10.2> Compiling ureq-proto v0.6.1 lean-ctx-3.10.2> Compiling lopdf v0.42.0 lean-ctx-3.10.2> Compiling fluent-uri v0.1.4 lean-ctx-3.10.2> Compiling clap_derive v4.6.4 lean-ctx-3.10.2> Compiling poly1305 v0.8.0 lean-ctx-3.10.2> Compiling bzip2 v0.6.1 lean-ctx-3.10.2> Compiling ed25519 v2.2.3 lean-ctx-3.10.2> Compiling dirs-sys v0.5.0 lean-ctx-3.10.2> Compiling password-hash v0.5.0 lean-ctx-3.10.2> Compiling zstd v0.13.3 lean-ctx-3.10.2> Compiling hashlink v0.11.1 lean-ctx-3.10.2> Compiling ndarray v0.17.2 lean-ctx-3.10.2> Compiling wat v1.255.0 lean-ctx-3.10.2> Compiling process-wrap v9.1.0 lean-ctx-3.10.2> Compiling rmcp-macros v2.0.0 (/build/source/rust/crates/vendor/rmcp-macros) lean-ctx-3.10.2> Compiling wasmi_ir v1.1.0 lean-ctx-3.10.2> Compiling fancy-regex v0.17.0 lean-ctx-3.10.2> Compiling axum-core v0.5.6 lean-ctx-3.10.2> Compiling type1-encoding-parser v0.1.1 lean-ctx-3.10.2> Compiling adobe-cmap-parser v0.4.1 lean-ctx-3.10.2> Compiling serde_urlencoded v0.7.1 lean-ctx-3.10.2> Compiling sharded-slab v0.1.7 lean-ctx-3.10.2> Compiling pbkdf2 v0.13.0 lean-ctx-3.10.2> Compiling globset v0.4.19 lean-ctx-3.10.2> Compiling parking_lot v0.12.5 lean-ctx-3.10.2> Compiling xattr v1.6.1 lean-ctx-3.10.2> Compiling lean-ctx-protocol v0.1.1 (/build/source/rust/crates/lean-ctx-protocol) lean-ctx-3.10.2> Compiling lzma-rust2 v0.16.5 lean-ctx-3.10.2> Compiling zopfli v0.8.3 lean-ctx-3.10.2> Compiling sse-stream v0.2.5 lean-ctx-3.10.2> Compiling matchers v0.2.0 lean-ctx-3.10.2> Compiling sha1 v0.11.0 lean-ctx-3.10.2> Compiling tokio-stream v0.1.19 lean-ctx-3.10.2> Compiling chacha20 v0.9.1 lean-ctx-3.10.2> Compiling crossbeam-channel v0.5.16 lean-ctx-3.10.2> Compiling cobs v0.3.0 lean-ctx-3.10.2> Compiling euclid v0.20.14 lean-ctx-3.10.2> Compiling serde_repr v0.1.21 lean-ctx-3.10.2> Compiling blake2 v0.10.6 lean-ctx-3.10.2> Compiling tracing-log v0.2.0 lean-ctx-3.10.2> Compiling serde_path_to_error v0.1.20 lean-ctx-3.10.2> Compiling serde_spanned v1.1.1 lean-ctx-3.10.2> Compiling aead v0.5.2 lean-ctx-3.10.2> Compiling rtoolbox v0.0.5 lean-ctx-3.10.2> Compiling filetime v0.2.29 lean-ctx-3.10.2> Compiling thread_local v1.1.10 lean-ctx-3.10.2> Compiling libloading v0.9.0 lean-ctx-3.10.2> Compiling postscript v0.14.1 lean-ctx-3.10.2> Compiling utf8-zero v0.8.1 lean-ctx-3.10.2> Compiling tagptr v0.2.0 lean-ctx-3.10.2> Compiling pastey v0.2.3 lean-ctx-3.10.2> Compiling streaming-iterator v0.1.9 lean-ctx-3.10.2> Compiling matchit v0.8.4 lean-ctx-3.10.2> Compiling libyaml-rs v0.3.0 lean-ctx-3.10.2> Compiling nu-ansi-term v0.50.3 lean-ctx-3.10.2> Compiling typed-path v0.12.3 lean-ctx-3.10.2> Compiling either v1.17.0 lean-ctx-3.10.2> Compiling cff-parser v0.2.0 lean-ctx-3.10.2> Compiling fallible-streaming-iterator v0.1.9 lean-ctx-3.10.2> Compiling wasmi_collections v1.1.0 lean-ctx-3.10.2> Compiling hashbrown v0.14.5 lean-ctx-3.10.2> Compiling fallible-iterator v0.3.0 lean-ctx-3.10.2> Compiling rustc-hash v2.1.3 lean-ctx-3.10.2> Compiling lean-ctx v3.10.2 (/build/source/rust) lean-ctx-3.10.2> Compiling fastrand v2.5.0 lean-ctx-3.10.2> Compiling spin v0.9.9 lean-ctx-3.10.2> Compiling deflate64 v0.1.12 lean-ctx-3.10.2> Compiling ppmd-rust v1.4.0 lean-ctx-3.10.2> Compiling wasmi v1.1.0 lean-ctx-3.10.2> Compiling tempfile v3.27.0 lean-ctx-3.10.2> Compiling zip v8.6.0 lean-ctx-3.10.2> Compiling dashmap v6.2.1 lean-ctx-3.10.2> Compiling lean-ctx-ocla v1.0.1 (/build/source/rust/crates/lean-ctx-ocla) lean-ctx-3.10.2> Compiling rusqlite v0.39.0 lean-ctx-3.10.2> Compiling tiktoken-rs v0.12.0 lean-ctx-3.10.2> Compiling rustls-webpki v0.103.15 lean-ctx-3.10.2> Compiling pdf-extract v0.12.0 lean-ctx-3.10.2> Compiling yaml_serde v0.10.4 lean-ctx-3.10.2> Compiling rayon v1.12.0 lean-ctx-3.10.2> Compiling tracing-subscriber v0.3.23 lean-ctx-3.10.2> Compiling moka v0.12.15 lean-ctx-3.10.2> Compiling ort v2.0.0-rc.12 lean-ctx-3.10.2> Compiling tar v0.4.46 lean-ctx-3.10.2> Compiling chacha20poly1305 v0.10.1 lean-ctx-3.10.2> Compiling rpassword v7.5.4 lean-ctx-3.10.2> Compiling toml v1.1.4+spec-1.1.0 lean-ctx-3.10.2> Compiling argon2 v0.5.3 lean-ctx-3.10.2> Compiling lsp-types v0.97.0 lean-ctx-3.10.2> Compiling postcard v1.1.3 lean-ctx-3.10.2> Compiling ignore v0.4.30 lean-ctx-3.10.2> Compiling ed25519-dalek v2.2.0 lean-ctx-3.10.2> Compiling tokio-rustls v0.26.4 lean-ctx-3.10.2> Compiling rustls-platform-verifier v0.7.0 lean-ctx-3.10.2> Compiling tungstenite v0.29.0 lean-ctx-3.10.2> Compiling hyper-rustls v0.27.9 lean-ctx-3.10.2> Compiling reqwest v0.13.4 lean-ctx-3.10.2> Compiling tokio-tungstenite v0.29.0 lean-ctx-3.10.2> Compiling axum v0.8.9 lean-ctx-3.10.2> Compiling ureq v3.4.0 lean-ctx-3.10.2> Compiling clap v4.6.6 lean-ctx-3.10.2> Compiling dirs v6.0.0 lean-ctx-3.10.2> Compiling toml_edit v0.25.13+spec-1.1.0 lean-ctx-3.10.2> Compiling tower-http v0.7.0 lean-ctx-3.10.2> Compiling hkdf v0.13.0 lean-ctx-3.10.2> Compiling gethostname v1.1.0 lean-ctx-3.10.2> Compiling lru v0.18.2 lean-ctx-3.10.2> Compiling md-5 v0.11.0 lean-ctx-3.10.2> Compiling fs2 v0.4.3 lean-ctx-3.10.2> Compiling libloading v0.8.9 lean-ctx-3.10.2> Compiling hex v0.4.3 lean-ctx-3.10.2> Compiling similar v3.1.2 lean-ctx-3.10.2> Compiling urlencoding v2.1.3 lean-ctx-3.10.2> Compiling bytecount v0.6.9 lean-ctx-3.10.2> Compiling glob v0.3.4 lean-ctx-3.10.2> Compiling tikv-jemalloc-ctl v0.7.0 lean-ctx-3.10.2> Compiling tikv-jemallocator v0.7.0 lean-ctx-3.10.2> Finished `release` profile [optimized] target(s) in 31m 13s lean-ctx-3.10.2> /build/source lean-ctx-3.10.2> Executing cargoInstallPostBuildHook lean-ctx-3.10.2> Finished cargoInstallPostBuildHook lean-ctx-3.10.2> Finished cargoBuildHook lean-ctx-3.10.2> buildPhase completed in 31 minutes 15 seconds lean-ctx-3.10.2> Running phase: installPhase lean-ctx-3.10.2> Executing cargoInstallHook lean-ctx-3.10.2> Finished cargoInstallHook lean-ctx-3.10.2> Running phase: fixupPhase lean-ctx-3.10.2> shrinking RPATHs of ELF executables and libraries in /nix/store/k98frkzjl4vrdav4k89kxyyfjy6jkdhi-lean-ctx-3.10.2 lean-ctx-3.10.2> shrinking /nix/store/k98frkzjl4vrdav4k89kxyyfjy6jkdhi-lean-ctx-3.10.2/bin/lean-ctx lean-ctx-3.10.2> checking for references to /build/ in /nix/store/k98frkzjl4vrdav4k89kxyyfjy6jkdhi-lean-ctx-3.10.2... lean-ctx-3.10.2> patching script interpreter paths in /nix/store/k98frkzjl4vrdav4k89kxyyfjy6jkdhi-lean-ctx-3.10.2 lean-ctx-3.10.2> stripping (with command strip and flags -S -p) in /nix/store/k98frkzjl4vrdav4k89kxyyfjy6jkdhi-lean-ctx-3.10.2/bin lean-ctx-3.10.2> Running phase: installCheckPhase lean-ctx-3.10.2> Executing versionCheckPhase lean-ctx-3.10.2> Successfully managed to find version 3.10.2 in the output of the command /nix/store/k98frkzjl4vrdav4k89kxyyfjy6jkdhi-lean-ctx-3.10.2/bin/lean-ctx --version lean-ctx-3.10.2> lean-ctx 3.10.2 (official, https://github.com/yvgude/lean-ctx) lean-ctx-3.10.2> Finished versionCheckPhase lean-ctx-3.10.2> no Makefile or custom installCheckPhase, doing nothing upload niks3: ok