Skip to content

LAB-423: test: byte-verify canonical wire-format.json vectors in CI (… #309

LAB-423: test: byte-verify canonical wire-format.json vectors in CI (…

LAB-423: test: byte-verify canonical wire-format.json vectors in CI (… #309

Triggered via push July 21, 2026 12:41
Status Cancelled
Total duration 24s
Artifacts –

security.yml

on: push
Fast Security Checks
23s
Fast Security Checks
Kani Formal Verification
Kani Formal Verification
Cargo Vet (Supply Chain)
0s
Cargo Vet (Supply Chain)
Generate SBOM
Generate SBOM
Matrix: Deep Fuzzing
Matrix: Quick Fuzz (Corpus Only)
Fit to window
Zoom out
Zoom in

Annotations

18 errors
Quick Fuzz (Corpus Only) (byte_storage_checksum_collision)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Fast Security Checks
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (byte_storage_corrupted_envelope)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (byte_storage_empty_data)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (byte_storage_format_injection)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (byte_storage_compress)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (compression_bomb)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (byte_storage_integer_overflow)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (encryption_key_derivation)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (encryption_nonce_reuse)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (byte_storage_decompress)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (encryption_aad_injection)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (encryption_large_payload)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Security
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (encryption_roundtrip)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (key_derivation)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (encryption_truncated_ciphertext)
Canceling since a higher priority waiting request for Security-refs/heads/main exists
Quick Fuzz (Corpus Only) (integration_layered_security)
Canceling since a higher priority waiting request for Security-refs/heads/main exists