cargo / lean-semantic-search-runtime
lean-semantic-search-runtime 0.7.7
clean- processes
- 432
- operations
- 12K
- packages
- 53
- compiler runs
- 53
- connections
- 1
- job time
- 28s
- capture
- 171 KB
- records
- 22K
- bytes / record
- 7.8
Package-owned Lean runtime payload and per-toolchain build cache for semantic search.
Artifact
- liblean_semantic_search_runtime.rlibfile · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 12K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies53 | Build behaviour |
|---|---|
| bitflags2.13.1 | |
| block-buffer0.12.1 | |
| cfg-if1.0.4 | |
| const-oid0.10.2 | |
| cpufeatures0.3.1 | |
| crypto-common0.2.2 | |
| digest0.11.3 | |
| errno0.3.14 | |
| fastrand2.5.0 | |
| fs41.1.0 | |
| getrandom0.4.3 | |
| hybrid-array0.4.14 | |
| itoa1.0.18 | |
| ld-linux-x86-64.so.2 | |
| lean-rs-abi0.9.4 | |
| lean-rs-worker-protocol0.9.4 | |
| lean-semantic-search-capability0.7.7 | |
| lean-semantic-search-contract0.7.7 | |
| lean-toolchain0.9.4 | |
| libc0.2.189 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| linux-raw-sys0.12.1 | |
| memchr2.8.3 | |
| once_cell1.21.4 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| r-efi6.0.0 | |
| rustix1.1.4 | |
| same-file1.0.6 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_derive1.0.229 | |
| serde_json1.0.151 | |
| serde_spanned1.1.1 | |
| sha20.11.0 | |
| syn3.0.4 | |
| tempfile3.27.0 | |
| thiserror2.0.20 | |
| thiserror-impl2.0.20 | |
| toml1.1.5+spec-1.1.0 | |
| toml_datetime1.1.1+spec-1.1.0 | |
| toml_parser1.1.3+spec-1.1.0 | |
| typenum1.20.1 | |
| unicode-ident1.0.24 | |
| walkdir2.5.0 | |
| winapi-util0.1.11 | |
| windows-link0.2.1 | |
| windows-sys0.61.2 | |
| winnow1.0.4 | |
| zmij1.0.23 |
1 of 1 jobs captured: build-test success · Generated 2026-10-13 · run aef8540b-44ed-4160-bb31-69168357c455
analysis 0.1.0 · 2026-10-13 · e446491 · graph v2