Skip to content

Security

Security #53

Triggered via schedule December 22, 2025 04:01
Status Failure
Total duration 31m 34s
Artifacts –

security.yml

on: schedule
Fast Security Checks
Fast Security Checks
Kani Formal Verification
15s
Kani Formal Verification
Cargo Vet (Supply Chain)
2m 36s
Cargo Vet (Supply Chain)
Generate SBOM
Generate SBOM
Matrix: Deep Fuzzing (8 hours)
Matrix: Quick Fuzz (Corpus Only)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Cargo Vet (Supply Chain)
Process completed with exit code 255.