Skip to content
Open-Source Registry

cargo / why3 / 0.14.0

why3 0.14.0

bitbison: no public build not built
processes
350
operations
12K
packages
66
compiler runs
0
connections
1
job time
20s
capture
170 KB
records
22K
bytes / record
7.9

Build behaviourcompiled and nothing more

run d308dfef-b56c-4f0f-b71d-89e4a88cd076 · built 2026-10-12 · complete

This release did not build; nothing below stands for the package.

Checks

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

Detections

0

No detections

No abnormal activity detected across 12K flows.

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (creusot) via crates.io · 3,761 files · went into an output ecosystem
Dependencies67Build behaviour
arrayvec0.5.2
autocfg1.5.0
bit-set0.8.0
bit-vec0.8.0
bitflags2.11.1
cfg-if1.0.4
either1.15.0
equivalent1.0.2
errno0.3.14
fastrand2.4.1
fnv1.0.7
foldhash0.1.5
getrandom0.3.4build script
hashbrown0.15.5
hashbrown0.17.0
indexmap2.14.0
itertools0.14.0
itoa1.0.18
ld-linux-x86-64.so.2system library
libc0.2.185build script
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
linux-raw-sys0.12.1
memchr2.8.0
num0.4.3
num-bigint0.4.6
num-complex0.4.6
num-integer0.1.46
num-iter0.1.45
num-rational0.4.2
num-traits0.2.19build script
once_cell1.21.4
ppv-lite860.2.21
pretty0.12.5
proc-macro21.0.106build script, not run
proptest1.11.0
quick-error1.2.3
quote1.0.45build script, not run
r-efi5.3.0
rand0.9.4
rand_chacha0.9.0
rand_core0.9.5
rand_xorshift0.4.0
regex-syntax0.8.10
rustix1.1.4build script
rusty-fork0.3.1
serde1.0.228build script
serde_core1.0.228build script
serde_derive1.0.228proc macro
serde_json1.0.151build script
string-interner0.19.0
syn2.0.117
tempfile3.27.0
typed-arena2.0.2
unarray0.1.4
unicode-ident1.0.24
unicode-width0.2.2
wait-timeout0.2.1
wasip21.0.3+wasi-0.2.9
windows-link0.2.1
windows-sys0.61.2
wit-bindgen0.57.1build script, not runprebuilt objects
zerocopy0.8.48build script
zerocopy-derive0.8.48proc macro
zmij1.0.21build script

Raw data

capture
170 KB
records
21,589
bytes per record
7.9

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 failure · Generated 2026-10-12 · run d308dfef-b56c-4f0f-b71d-89e4a88cd076

analysis 0.1.0 · 2026-10-11 · d6246d3