Repository navigation
chore: add security CI, Makefile, and sync with crates.io v0.1.0 #6
Triggered via pull request
December 9, 2025 00:32
27Bslash6
Status
Cancelled
Total duration
1m 42s
Artifacts
–
security.yml
on: pull_request
Fast Security Checks
1m 22s
Kani Formal Verification
0s
Cargo Vet (Supply Chain)
0s
Generate SBOM
0s
Matrix: Deep Fuzzing (8 hours)
Matrix: Quick Fuzz (Corpus Only)
Annotations
3 errors
|
Fast Security Checks
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
|
|
Fast Security Checks
The operation was canceled.
|
|
Security
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
|