Skip to content
Open-Source Registry

cargo / lean-rs-interop-shims / 0.9.4

lean-rs-interop-shims 0.9.4

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
354
operations
9.9K
packages
40
compiler runs
45
connections
1
job time
14s
capture
144 KB
records
18K
bytes / record
8.1

Build behaviourcompiled and nothing more

run 5e9a7184-1c5d-42b4-a038-3a092dd2ef2a · built 2026-10-14 · complete

Artifact

file · retained · product · graph v2
1

Checks

14 of 14 clear
Build behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 9.9K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (lean-rs) via crates.io · 2,631 files · went into an output ecosystem
Dependencies40Build behaviour
bitflags2.13.1
block-buffer0.12.1
cfg-if1.0.4
const-oid0.10.2
cpufeatures0.3.0
crypto-common0.2.2
digest0.11.3
errno0.3.14
fs41.1.0
hybrid-array0.4.14
itoa1.0.18
ld-linux-x86-64.so.2system library
lean-rs-abi0.9.4
lean-toolchain0.9.4build script
libc0.2.189build script, not run
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
linux-raw-sys0.12.1
memchr2.8.3
proc-macro21.0.107build script
quote1.0.47build script
rustix1.1.4build script
serde1.0.229build script
serde_core1.0.229build script
serde_derive1.0.229proc macro
serde_json1.0.151build script
serde_spanned1.1.1
sha20.11.0
syn3.0.3
toml1.1.4+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
windows-link0.2.1
windows-sys0.61.2
winnow1.0.4
zmij1.0.23build script

Raw data

capture
144 KB
records
17,736
bytes per record
8.1

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-14 · run 5e9a7184-1c5d-42b4-a038-3a092dd2ef2a

analysis 0.1.0 · 2026-10-14 · afb437c · graph v2