Skip to content
Open-Source Registry

cargo / txwhy-verify / 0.1.3

txwhy-verify 0.1.3

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured RisknoneVulnsnone
processes
282
operations
4.8K
packages
18
compiler runs
2
connections
1
build time
12s
job time
12s
capture
78 KB
records
8.6K
bytes / record
9.1

Build behaviourcompiled and nothing more

run 1463b082-80e7-4238-8860-d079e0d913ec · built 2026-10-21 · complete View on crates.io

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 4.8K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (txwhy) via crates.io · 590 files · went into an output ecosystem
Dependencies18Build behaviour
bs580.5.1
itoa1.0.18
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
memchr2.8.3
proc-macro21.0.107build script
quote1.0.47build script
serde1.0.229build script
serde_core1.0.229build script
serde_derive1.0.229proc macro
serde_json1.0.151build script
syn3.0.6
tinyvec1.13.3
unicode-ident1.0.26
zmij1.0.23build script
Versions4RiskVulnsPublished
0.1.2not analyzed2026-10-05
0.1.1not analyzed2026-10-03
0.1.0not analyzed2026-09-24
0.1.3nonenone

Raw data

capture
78 KB
records
8,644
bytes per record
9.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-21 · run 1463b082-80e7-4238-8860-d079e0d913ec

analysis 0.1.0 · 2026-10-21 · bee3716 · graph v2