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