Skip to content

Security

Security #22

Triggered via schedule December 10, 2025 03:51
Status Failure
Total duration 30m 48s
Artifacts –

security.yml

on: schedule
Fast Security Checks
Fast Security Checks
Kani Formal Verification
25s
Kani Formal Verification
Cargo Vet (Supply Chain)
2m 33s
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.