Skip to content
Open-Source Registry

cargo / prusti-specs / 0.3.0

prusti-specs 0.3.0

bitbison: no public build not built
processes
232
operations
5.5K
packages
30
compiler runs
0
connections
1
build time
17s
job time
17s
capture
98 KB
records
11K
bytes / record
9.3

Build behaviourcompiled and nothing more

run 240b4752-7ce0-499b-ac3f-c0fd9aad1795 · built 2026-10-19 · complete View on crates.io

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

Network

1 peers
  • static.crates.io:8080 the package manager · cargo (prusti) via crates.io · 1,588 files · went into an output ecosystem
Dependencies31Build behaviour
bumpalo3.20.3
cfg-if1.0.5
either1.19.0
futures-core0.3.34
futures-task0.3.34
futures-util0.3.34
getrandom0.4.3build script
itertools0.10.5
js-sys0.3.106
ld-linux-x86-64.so.2system library
libc0.2.191build script
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library
once_cell1.21.4
pin-project-lite0.2.17
proc-macro21.0.107build script
quote1.0.47build script
r-efi6.0.0
rustc-hash1.1.0
rustversion1.0.23build script, not runproc macro
slab0.4.12
syn1.0.109build script
syn3.0.9
unicode-ident1.0.27
uuid1.28.0
wasm-bindgen0.2.129build script, not run
wasm-bindgen-macro0.2.129proc macro
wasm-bindgen-macro-support0.2.129
wasm-bindgen-shared0.2.129build script, not run
Versions14RiskVulnsPublished
0.3.1did not build1d ago
0.3.0did not build1d ago
0.2.0not analyzed2023-09-04
0.1.10not analyzed2023-08-11
0.1.9not analyzed2023-07-20
0.1.8not analyzed2023-06-26
0.1.7not analyzed2023-05-23
0.1.6not analyzed2023-04-05
0.1.5not analyzed2023-04-03
0.1.4not analyzed2023-02-13
0.1.3not analyzed2023-01-31
0.1.2not analyzed2022-10-03
0.1.1not analyzed2022-09-27
0.1.0not analyzed2022-09-26

Raw data

capture
98 KB
records
10,553
bytes per record
9.3

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-19 · run 240b4752-7ce0-499b-ac3f-c0fd9aad1795

analysis 0.1.0 · 2026-10-19 · 10ce9f4