Skip to content
Open-Source Registry

cargo / assura-diagnostics

assura-diagnostics 0.6.0

processes
265
operations
4.8K
packages
19
compiler runs
13
connections
2
job time
16s

Unified diagnostic types for the Assura compiler

clean

Build behaviournot recorded for this run

2,302 downloads · Apache-2.0 OR MIT · source · home page · cargo

compiler contracts formal-methods smt verification

Release 0.6.0 run 3e69922b-9022-4697-b8cd-5a731c4b2e7b · built 2026-10-06

Artifact

file · retained · product
1
ChecksDetections
Build behavior
✓ Network activity—
✓ Cross-process access—
✓ Build file changes—
✓ Build script activity—
✓ Filesystem writes—
✓ Context collection—
Supply chain
✓ Known vulnerabilities—
✓ Dependency advisories—
✓ Declared and observed dependencies—
Pipeline
✓ Dependency versions across jobs—
✓ Pipeline coverage—

Detections

0

No detections

No abnormal activity detected across 4.8K flows.

Network

1 peers
  • static.crates.io:8080
    cargo (assura) via crates.io · build-test
    allowed

Raw data

Loading a sample of the capture

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

Dependencies

19 packages, 0 with a build script that ran, 0 doing more than compiling
PackageVersionUsageBuild behaviour
ariadne direct0.6.0observed
itoa1.0.18observed
ld-linux-x86-64.so.2linked
libc.so.6linked
libgcc_s.so.1linked
libm.so.6linked
libmvec.so.1linked
memchr2.8.2observed
proc-macro21.0.107observed
quote1.0.47observed
serde direct1.0.229observed
serde_core1.0.229observed
serde_derive1.0.229observed
serde_json1.0.151observed
syn3.0.6observed
unicode-ident1.0.24observed
unicode-width0.2.2observed
yansi1.0.1observed
zmij1.0.21observed

1 of 1 jobs captured: build-test success · Generated 2026-10-06 · tarp 0.1.0+20261005230310-g8db20f3c46ff · run 3e69922b-9022-4697-b8cd-5a731c4b2e7b