lean-ctx-3.10.5 log

succeeded `lean-ctx-3.10.5` `checks.x86_64-linux.pkgs-lean-ctx` · build #6504 · raw

1Using versionCheckHook

unpackPhase

2unpacking source archive /nix/store/1l98cwpshsw7sv46nkqcp3ivckjsd5f7-source3source root is source4Executing cargoSetupPostUnpackHook5Finished cargoSetupPostUnpackHook

patchPhase

6Executing cargoSetupPostPatchHook7Validating consistency between /build/source/rust/Cargo.lock and /build/lean-ctx-3.10.5-vendor/Cargo.lock8Finished cargoSetupPostPatchHook

buildPhase

9Executing cargoBuildHook10/build/source/rust /build/source11cargoBuildHook flags: -j 48 --target x86_64-unknown-linux-gnu --offline --profile release12 Compiling libc v0.2.18913 Compiling shlex v2.0.114 Compiling find-msvc-tools v0.1.1015 Compiling proc-macro2 v1.0.10716 Compiling quote v1.0.4717 Compiling unicode-ident v1.0.2418 Compiling cfg-if v1.0.419 Compiling tree-sitter-language v0.1.720 Compiling typenum v1.20.121 Compiling zeroize v1.9.022 Compiling memchr v2.8.323 Compiling version_check v0.9.524 Compiling itoa v1.0.1825 Compiling pkg-config v0.3.3326 Compiling log v0.4.3327 Compiling subtle v2.6.128 Compiling pin-project-lite v0.2.1729 Compiling bytes v1.12.130 Compiling serde_core v1.0.22931 Compiling once_cell v1.21.432 Compiling smallvec v1.15.233 Compiling stable_deref_trait v1.2.134 Compiling futures-core v0.3.3335 Compiling zmij v1.0.2336 Compiling dunce v1.0.537 Compiling fs_extra v1.3.038 Compiling bitflags v2.13.139 Compiling futures-sink v0.3.3340 Compiling autocfg v1.5.141 Compiling serde v1.0.22942 Compiling cpufeatures v0.2.1743 Compiling aws-lc-rs v1.18.044 Compiling futures-io v0.3.3345 Compiling futures-task v0.3.3346 Compiling cpufeatures v0.3.047 Compiling slab v0.4.1248 Compiling foldhash v0.2.049 Compiling percent-encoding v2.3.250 Compiling writeable v0.6.351 Compiling cmov v0.5.452 Compiling litemap v0.8.253 Compiling httparse v1.10.154 Compiling untrusted v0.9.055 Compiling thiserror v2.0.2056 Compiling icu_normalizer_data v2.1.157 Compiling rustls v0.23.4558 Compiling equivalent v1.0.259 Compiling icu_properties_data v2.1.260 Compiling const-oid v0.10.261 Compiling allocator-api2 v0.2.2162 Compiling serde_json v1.0.15163 Compiling regex-syntax v0.8.1164 Compiling rand_core v0.10.165 Compiling rustls-pki-types v1.15.166 Compiling getrandom v0.4.367 Compiling futures-channel v0.3.3368 Compiling crossbeam-utils v0.8.2269 Compiling semver v1.0.2870 Compiling getrandom v0.3.471 Compiling tower-service v0.3.372 Compiling hashbrown v0.17.173 Compiling crc32fast v1.5.074 Compiling scopeguard v1.2.075 Compiling zerocopy v0.8.5676 Compiling form_urlencoded v1.2.277 Compiling simd-adler32 v0.3.1078 Compiling crossbeam-epoch v0.9.2079 Compiling generic-array v0.14.780 Compiling utf8_iter v1.0.481 Compiling lock_api v0.4.1482 Compiling tracing-core v0.1.3683 Compiling ctutils v0.4.284 Compiling try-lock v0.2.585 Compiling base64 v0.22.186 Compiling num-traits v0.2.1987 Compiling num-conv v0.2.288 Compiling tower-layer v0.3.389 Compiling time-core v0.1.990 Compiling want v0.3.191 Compiling sync_wrapper v1.0.292 Compiling rustc_version v0.4.193 Compiling httpdate v1.0.394 Compiling atomic-waker v1.1.295 Compiling deranged v0.5.896 Compiling adler2 v2.0.197 Compiling powerfmt v0.2.098 Compiling rustix v1.1.499 Compiling cookie v0.18.2100 Compiling ident_case v1.0.1101 Compiling strsim v0.11.1102 Compiling libm v0.2.16103 Compiling bumpalo v3.20.3104 Compiling openssl-probe v0.2.1105 Compiling miniz_oxide v0.8.9106 Compiling crossbeam-deque v0.8.7107 Compiling ipnet v2.12.1108 Compiling time-macros v0.2.32109 Compiling linux-raw-sys v0.12.1110 Compiling parking_lot_core v0.9.12111 Compiling cfg_aliases v0.2.2112 Compiling zlib-rs v0.6.7113 Compiling tinyvec_macros v0.1.1114 Compiling matrixmultiply v0.3.11115 Compiling chacha20 v0.10.2116 Compiling psl-types v2.0.11117 Compiling tinyvec v1.12.0118 Compiling aho-corasick v1.1.5119 Compiling nix v0.31.3120 Compiling ref-cast v1.0.26121 Compiling litrs v1.0.0122 Compiling leb128fmt v0.1.0123 Compiling vcpkg v0.2.15124 Compiling zstd-safe v7.2.4125 Compiling utf8parse v0.2.2126 Compiling wasm-encoder v0.255.0127 Compiling webpki-roots v1.0.9128 Compiling rustls-native-certs v0.8.4129 Compiling heapless v0.7.17130 Compiling curve25519-dalek v4.1.3131 Compiling anstyle-parse v1.0.0132 Compiling hybrid-array v0.4.14133 Compiling spin v0.9.9134 Compiling is_terminal_polyfill v1.70.2135 Compiling winnow v1.0.4136 Compiling http v1.5.0137 Compiling byteorder v1.5.0138 Compiling iana-time-zone v0.1.65139 Compiling unicode-width v0.2.2140 Compiling portable-atomic v1.14.0141 Compiling mime v0.3.17142 Compiling syn v3.0.3143 Compiling syn v2.0.119144 Compiling indexmap v2.14.0145 Compiling anstyle-query v1.1.5146 Compiling ort-sys v2.0.0-rc.12147 Compiling anstyle v1.0.14148 Compiling lazy_static v1.5.0149 Compiling unicode-properties v0.1.4150 Compiling constant_time_eq v0.4.2151 Compiling wasmparser v0.239.0152 Compiling rayon-core v1.13.0153 Compiling data-encoding v2.11.1154 Compiling ryu v1.0.23155 Compiling unicode-bidi v0.3.18156 Compiling pom v1.1.0157 Compiling document-features v0.2.12158 Compiling unicode-normalization v0.1.25159 Compiling colorchoice v1.0.5160 Compiling anyhow v1.0.104161 Compiling bit-vec v0.8.0162 Compiling paste v1.0.15163 Compiling rawpointer v0.2.1164 Compiling anstream v1.0.0165 Compiling crypto-common v0.2.2166 Compiling jobserver v0.1.35167 Compiling block-buffer v0.12.1168 Compiling inout v0.2.2169 Compiling block-buffer v0.10.4170 Compiling block-padding v0.3.3171 Compiling bit-set v0.8.0172 Compiling hash32 v0.2.1173 Compiling webpki-roots v0.26.11174 Compiling nom v8.0.0175 Compiling hashbrown v0.16.1176 Compiling encoding_rs v0.8.35177 Compiling clap_lex v1.1.0178 Compiling inout v0.1.4179 Compiling arrayvec v0.7.8180 Compiling weezl v0.1.12181 Compiling bitflags v1.3.2182 Compiling libbz2-rs-sys v0.2.5183 Compiling arrayref v0.3.9184 Compiling toml_writer v1.1.2+spec-1.1.0185 Compiling heck v0.5.0186 Compiling dyn-clone v1.0.20187 Compiling base64ct v1.8.3188 Compiling opaque-debug v0.3.1189 Compiling option-ext v0.2.0190 Compiling wast v255.0.0191 Compiling signature v2.2.0192 Compiling base64 v0.23.1193 Compiling rmcp v2.0.0 (/build/source/rust/crates/vendor/rmcp)194 Compiling ttf-parser v0.25.1195 Compiling cpubits v0.1.1196 Compiling cc v1.4.2197 Compiling same-file v1.0.6198 Compiling rangemap v1.7.1199 Compiling ed25519 v2.2.3200 Compiling stringprep v0.1.5201 Compiling clap_builder v4.6.6202 Compiling http-body v1.1.0203 Compiling num-integer v0.1.46204 Compiling num-complex v0.4.6205 Compiling euclid v0.20.14206 Compiling walkdir v2.5.0207 Compiling fluent-uri v0.1.4208 Compiling ureq-proto v0.6.1209 Compiling http-body-util v0.1.4210 Compiling type1-encoding-parser v0.1.1211 Compiling adobe-cmap-parser v0.4.1212 Compiling crossbeam-channel v0.5.16213 Compiling hashlink v0.11.1214 Compiling bzip2 v0.6.1215 Compiling sharded-slab v0.1.7216 Compiling zopfli v0.8.3217 Compiling time v0.3.55218 Compiling tracing-log v0.2.0219 Compiling wasmi_core v1.1.0220 Compiling thread_local v1.1.10221 Compiling ndarray v0.17.2222 Compiling libloading v0.9.0223 Compiling matchit v0.8.4224 Compiling regex-automata v0.4.18225 Compiling digest v0.11.3226 Compiling cipher v0.5.2227 Compiling getrandom v0.2.17228 Compiling errno v0.3.14229 Compiling cmake v0.1.58230 Compiling mio v1.2.2231 Compiling socket2 v0.6.5232 Compiling signal-hook-registry v1.4.8233 Compiling rand_core v0.6.4234 Compiling sha2 v0.11.0235 Compiling hmac v0.13.0236 Compiling toml_datetime v1.1.1+spec-1.1.0237 Compiling crypto-common v0.1.7238 Compiling rand_core v0.9.5239 Compiling rand v0.10.2240 Compiling uuid v1.24.0241 Compiling pbkdf2 v0.13.0242 Compiling password-hash v0.5.0243 Compiling digest v0.10.7244 Compiling cipher v0.4.4245 Compiling universal-hash v0.5.1246 Compiling parking_lot v0.12.5247 Compiling aead v0.5.2248 Compiling wasmi_ir v1.1.0249 Compiling sha2 v0.10.9250 Compiling flate2 v1.1.9251 Compiling sha1 v0.10.7252 Compiling toml_parser v1.1.3+spec-1.1.0253 Compiling md-5 v0.10.6254 Compiling xattr v1.6.1255 Compiling poly1305 v0.8.0256 Compiling blake2 v0.10.6257 Compiling serde_spanned v1.1.1258 Compiling serde_path_to_error v0.1.20259 Compiling sha1 v0.11.0260 Compiling aes v0.9.2261 Compiling dirs-sys v0.5.0262 Compiling rtoolbox v0.0.5263 Compiling filetime v0.2.29264 Compiling aws-lc-sys v0.44.0265 Compiling ring v0.17.14266 Compiling zstd-sys v2.0.16+zstd.1.5.7267 Compiling tikv-jemalloc-sys v0.7.1+5.3.1-0-g81034ce1f1373e37dc865038e1bc8eeecf559ce8268 Compiling blake3 v1.8.6269 Compiling libsqlite3-sys v0.37.0270 Compiling tree-sitter-rust v0.24.2271 Compiling tree-sitter-swift v0.7.3272 Compiling aes v0.8.4273 Compiling cbc v0.1.2274 Compiling ecb v0.1.2275 Compiling tree-sitter-luau v1.2.0276 Compiling tree-sitter-zig v1.1.2277 Compiling tree-sitter-gdscript v6.1.0278 Compiling tree-sitter-c v0.24.2279 Compiling tree-sitter-solidity v1.2.13280 Compiling tree-sitter-typescript v0.23.2281 Compiling tree-sitter-javascript v0.25.0282 Compiling tree-sitter-bash v0.25.1283 Compiling tree-sitter-elixir v0.3.5284 Compiling tree-sitter-php v0.24.2285 Compiling tree-sitter-scala v0.26.2286 Compiling tree-sitter-haskell v0.23.1287 Compiling tree-sitter-julia v0.23.1288 Compiling tree-sitter-ruby v0.23.1289 Compiling tree-sitter-c-sharp v0.23.5290 Compiling tree-sitter-dart v0.2.0291 Compiling tree-sitter-python v0.25.0292 Compiling tree-sitter-lua v0.5.0293 Compiling tree-sitter-go v0.25.0294 Compiling tree-sitter-powershell v0.26.4295 Compiling tree-sitter-nix v0.3.0296 Compiling serde_derive_internals v0.30.0297 Compiling tree-sitter-ocaml v0.25.0298 Compiling tree-sitter-java v0.23.5299 Compiling tree-sitter-cpp v0.23.4300 Compiling tree-sitter-kotlin-ng v1.1.0301 Compiling synstructure v0.13.2302 Compiling darling_core v0.23.0303 Compiling tree-sitter v0.26.12304 Compiling ppv-lite86 v0.2.21305 Compiling rand_chacha v0.9.0306 Compiling lzma-rust2 v0.16.5307 Compiling chacha20 v0.9.1308 Compiling fastrand v2.5.0309 Compiling rand v0.9.5310 Compiling pastey v0.2.3311 Compiling cff-parser v0.2.0312 Compiling either v1.17.0313 Compiling deflate64 v0.1.12314 Compiling bstr v1.13.0315 Compiling regex v1.13.1316 Compiling fancy-regex v0.17.0317 Compiling matchers v0.2.0318 Compiling displaydoc v0.2.7319 Compiling serde_derive v1.0.229320 Compiling tokio-macros v2.7.2321 Compiling thiserror-impl v2.0.20322 Compiling ref-cast-impl v1.0.26323 Compiling schemars_derive v1.2.2324 Compiling async-trait v0.1.92325 Compiling wat v1.255.0326 Compiling serde_repr v0.1.21327 Compiling clap_derive v4.6.4328 Compiling lean-ctx v3.10.5 (/build/source/rust)329 Compiling libyaml-rs v0.3.0330 Compiling hashbrown v0.14.5331 Compiling globset v0.4.19332 Compiling rustc-hash v2.1.3333 Compiling postscript v0.14.1334 Compiling fallible-iterator v0.3.0335 Compiling streaming-iterator v0.1.9336 Compiling fallible-streaming-iterator v0.1.9337 Compiling tagptr v0.2.0338 Compiling wasmi_collections v1.1.0339 Compiling typed-path v0.12.3340 Compiling zerofrom-derive v0.1.7341 Compiling yoke-derive v0.8.2342 Compiling zerovec-derive v0.11.3343 Compiling futures-macro v0.3.33344 Compiling tracing-attributes v0.1.31345 Compiling curve25519-dalek-derive v0.1.1346 Compiling ppmd-rust v1.4.0347 Compiling utf8-zero v0.8.1348 Compiling nu-ansi-term v0.50.3349 Compiling dashmap v6.2.1350 Compiling wasmi v1.1.0351 Compiling tokio v1.53.1352 Compiling ignore v0.4.30353 Compiling moka v0.12.15354 Compiling tiktoken-rs v0.12.0355 Compiling darling_macro v0.23.0356 Compiling rayon v1.12.0357 Compiling chacha20poly1305 v0.10.1358 Compiling tempfile v3.27.0359 Compiling argon2 v0.5.3360 Compiling toml_edit v0.25.13+spec-1.1.0361 Compiling toml v1.1.4+spec-1.1.0362 Compiling tar v0.4.46363 Compiling lopdf v0.42.0364 Compiling cobs v0.3.0365 Compiling rpassword v7.5.4366 Compiling futures-util v0.3.33367 Compiling dirs v6.0.0368 Compiling gethostname v1.1.0369 Compiling hkdf v0.13.0370 Compiling md-5 v0.11.0371 Compiling fs2 v0.4.3372 Compiling tower-http v0.7.0373 Compiling lru v0.18.2374 Compiling libloading v0.8.9375 Compiling darling v0.23.0376 Compiling similar v3.1.2377 Compiling rmcp-macros v2.0.0 (/build/source/rust/crates/vendor/rmcp-macros)378 Compiling glob v0.3.4379 Compiling urlencoding v2.1.3380 Compiling bytecount v0.6.9381 Compiling hex v0.4.3382 Compiling zerofrom v0.1.8383 Compiling yoke v0.8.3384 Compiling ed25519-dalek v2.2.0385 Compiling tracing v0.1.44386 Compiling zerovec v0.11.6387 Compiling zerotrie v0.2.4388 Compiling clap v4.6.6389 Compiling axum-core v0.5.6390 Compiling ort v2.0.0-rc.12391 Compiling tracing-subscriber v0.3.23392 Compiling tinystr v0.8.3393 Compiling potential_utf v0.1.5394 Compiling icu_locale_core v2.1.1395 Compiling icu_collections v2.1.1396 Compiling icu_provider v2.1.1397 Compiling chrono v0.4.45398 Compiling serde_urlencoded v0.7.1399 Compiling icu_properties v2.1.2400 Compiling icu_normalizer v2.1.1401 Compiling lean-ctx-protocol v0.1.1 (/build/source/rust/crates/lean-ctx-protocol)402 Compiling lsp-types v0.97.0403 Compiling yaml_serde v0.10.4404 Compiling futures-executor v0.3.33405 Compiling sse-stream v0.2.5406 Compiling futures v0.3.33407 Compiling postcard v1.1.3408 Compiling schemars v1.2.2409 Compiling idna_adapter v1.2.1410 Compiling idna v1.1.0411 Compiling hyper v1.11.0412 Compiling tower v0.5.3413 Compiling tokio-util v0.7.19414 Compiling tokio-stream v0.1.19415 Compiling process-wrap v9.1.0416 Compiling url v2.5.8417 Compiling publicsuffix v2.3.0418 Compiling cookie_store v0.22.0419 Compiling hyper-util v0.1.20420 Compiling tower-http v0.6.11421 Compiling pdf-extract v0.12.0422 Compiling lean-ctx-ocla v1.0.1 (/build/source/rust/crates/lean-ctx-ocla)423 Compiling zstd v0.13.3424 Compiling zip v8.6.0425 Compiling rustls-webpki v0.103.15426 Compiling tokio-rustls v0.26.4427 Compiling rustls-platform-verifier v0.7.0428 Compiling tungstenite v0.29.0429 Compiling ureq v3.4.0430 Compiling hyper-rustls v0.27.9431 Compiling reqwest v0.13.4432 Compiling tikv-jemalloc-ctl v0.7.0433 Compiling tikv-jemallocator v0.7.0434 Compiling tokio-tungstenite v0.29.0435 Compiling axum v0.8.9436 Compiling rusqlite v0.39.0437 Finished `release` profile [optimized] target(s) in 5m 50s438/build/source439Executing cargoInstallPostBuildHook440Finished cargoInstallPostBuildHook441Finished cargoBuildHook442buildPhase completed in 5 minutes 51 seconds

installPhase

443Executing cargoInstallHook444Finished cargoInstallHook

fixupPhase

445shrinking RPATHs of ELF executables and libraries in /nix/store/wq7zwdkqy01s75z2x0lcxqv03z80srh1-lean-ctx-3.10.5446shrinking /nix/store/wq7zwdkqy01s75z2x0lcxqv03z80srh1-lean-ctx-3.10.5/bin/lean-ctx447checking for references to /build/ in /nix/store/wq7zwdkqy01s75z2x0lcxqv03z80srh1-lean-ctx-3.10.5...448patching script interpreter paths in /nix/store/wq7zwdkqy01s75z2x0lcxqv03z80srh1-lean-ctx-3.10.5449stripping (with command strip and flags -S -p) in /nix/store/wq7zwdkqy01s75z2x0lcxqv03z80srh1-lean-ctx-3.10.5/bin

installCheckPhase

450Executing versionCheckPhase451Successfully managed to find version 3.10.5 in the output of the command /nix/store/wq7zwdkqy01s75z2x0lcxqv03z80srh1-lean-ctx-3.10.5/bin/lean-ctx --version452lean-ctx 3.10.5 (official, https://github.com/yvgude/lean-ctx)453Finished versionCheckPhase454no Makefile or custom installCheckPhase, doing nothing

succeeded lean-ctx-3.10.5 checks.x86_64-linux.pkgs-lean-ctx · build #6504 · raw

succeeded `lean-ctx-3.10.5` `checks.x86_64-linux.pkgs-lean-ctx` · build #6504 · raw