Skip to content

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

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 #7

Triggered via pull request December 9, 2025 00:33
Status Cancelled
Total duration 56s
Artifacts –

security.yml

on: pull_request
Fast Security Checks
34s
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

Annotations

34 errors
Quick Fuzz (Corpus Only) (encryption_large_payload)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (encryption_truncated_ciphertext)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (encryption_truncated_ciphertext)
A task was canceled.
Quick Fuzz (Corpus Only) (byte_storage_integer_overflow)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_integer_overflow)
The operation was canceled.
Quick Fuzz (Corpus Only) (byte_storage_format_injection)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_format_injection)
The operation was canceled.
Quick Fuzz (Corpus Only) (byte_storage_checksum_collision)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_checksum_collision)
The operation was canceled.
Quick Fuzz (Corpus Only) (encryption_roundtrip)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (encryption_roundtrip)
The operation was canceled.
Quick Fuzz (Corpus Only) (byte_storage_empty_data)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_empty_data)
The operation was canceled.
Quick Fuzz (Corpus Only) (byte_storage_compress)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_compress)
The operation was canceled.
Quick Fuzz (Corpus Only) (encryption_key_derivation)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (encryption_key_derivation)
The operation was canceled.
Quick Fuzz (Corpus Only) (integration_layered_security)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (integration_layered_security)
The operation was canceled.
Quick Fuzz (Corpus Only) (key_derivation)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (key_derivation)
The operation was canceled.
Quick Fuzz (Corpus Only) (encryption_aad_injection)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (encryption_aad_injection)
The operation was canceled.
Quick Fuzz (Corpus Only) (encryption_nonce_reuse)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (encryption_nonce_reuse)
The operation was canceled.
Fast Security Checks
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Fast Security Checks
The operation was canceled.
Quick Fuzz (Corpus Only) (byte_storage_decompress)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_decompress)
The operation was canceled.
Quick Fuzz (Corpus Only) (compression_bomb)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (compression_bomb)
The operation was canceled.
Security
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_corrupted_envelope)
Canceling since a higher priority waiting request for Security-refs/pull/8/merge exists
Quick Fuzz (Corpus Only) (byte_storage_corrupted_envelope)
The operation was canceled.