cargo / rucc-verify
rucc-verify 0.24.8
- processes
- 236
- operations
- 2.9K
- packages
- 6
- compiler runs
- 5
- connections
- 2
- job time
- 7s
SMT verification of the rucc rewrite and lowering rule set.
Build behaviournot recorded for this run
Release 0.24.8 run f85f2857-a413-43b5-a2b0-a0e36695569f · built 2026-10-06
Artifact
- librucc_verify.rlibfile · retained · product
- rucc_verifybinary · retained · product
| Checks | Detections |
|---|---|
| Build behavior | |
| ✓ Network activity | — |
| ✓ Cross-process access | — |
| ✓ Build file changes | — |
| ✓ Filesystem writes | — |
| ✓ Context collection | — |
| Supply chain | |
| ✓ Known vulnerabilities | — |
| ✓ Dependency advisories | — |
| ✓ Declared and observed dependencies | — |
| Pipeline | |
| ✓ Dependency versions across jobs | — |
| ✓ Pipeline coverage | — |
Detections
0No detections
No abnormal activity detected across 2.9K flows.
Network
1 peers-
allowedstatic.crates.io:8080
Dependencies
6 packages, 0 with a build script that ran, 0 doing more than compiling| Package | Version | Usage | Build behaviour | |
|---|---|---|---|---|
| ld-linux-x86-64.so.2 | linked | |||
| libc.so.6 | linked | |||
| libgcc_s.so.1 | linked | |||
| libm.so.6 | linked | |||
| libmvec.so.1 | linked | |||
| rucc-rules direct | 0.24.8 | linked |
1 of 1 jobs captured: build-test success · Generated 2026-10-06 · tarp 0.1.0+20261005230310-g8db20f3c46ff · run f85f2857-a413-43b5-a2b0-a0e36695569f