Skip to content
Security

chore: add security CI, Makefile, and sync with crates.io v0.1.0 #16

Sign in to view logs

chore: add security CI, Makefile, and sync with crates.io v0.1.0

chore: add security CI, Makefile, and sync with crates.io v0.1.0 #16

Triggered via pull request December 10, 2025 00:34
@27Bslash627Bslash6
synchronize #8
chore/security-ci-tooling
Status Success
Total duration 7m 19s
Artifacts –

security.yml

on: pull_request
Fast Security Checks
7m 0s
Fast Security Checks
Kani Formal Verification
0s
Kani Formal Verification
Cargo Vet (Supply Chain)
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