Skip to content

Security

Security #57

Triggered via schedule December 26, 2025 03:54
Status Failure
Total duration 31m 58s
Artifacts –

security.yml

on: schedule
Fast Security Checks
0s
Fast Security Checks
Kani Formal Verification
23s
Kani Formal Verification
Cargo Vet (Supply Chain)
4m 0s
Cargo Vet (Supply Chain)
Generate SBOM
0s
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.