test(integv2): trim bloated cases (#5453) · aws/s2n-tls@ab1cd3c

Triggered via push September 13, 2025 00:28

Status Success

Total duration 30m 6s

Artifacts 1

proof_ci.yaml

on: push

Produced during runtime

Name	Size	Digest
cbmc_proof_results_s2n-tls_2025_09_13_00_57_33	315 MB	`sha256:032df187564c73b3e069b9091fbd1d1dd6b19a8e9bab4f4fc4894d25aa86641b`