test(integv2): trim bloated cases #10552
jmayclinproof_ci.yaml
on: pull_request
run_cbmc_proofs
26m 37s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_s2n-tls_2025_09_12_19_38_08
|
311 MB |
sha256:a5621f1ef3927388fcdef3ce865f69a2fda37660608a98b5db6d46e95494efe7
|
|