chore: add security CI, Makefile, and sync with crates.io v0.1.0 #11
security.yml
on: pull_request
Fast Security Checks
2m 50s
Kani Formal Verification
0s
Cargo Vet (Supply Chain)
0s
Generate SBOM
0s
Matrix: Deep Fuzzing (8 hours)
Matrix: Quick Fuzz (Corpus Only)
Annotations
1 error
|
Fast Security Checks
Process completed with exit code 101.
|