test(integration): add BoringSSL cohort to expand mTLS coverage #11638
proof_ci.yaml
on: pull_request
run_cbmc_proofs
18m 10s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_s2n-tls_2025_12_18_22_34_21
|
315 MB |
sha256:68cef2df661f97671054484eb2b4242583c3f401234cb5c014760f7972f7aa14
|
|