chore(ci): add gcc-4.8 with openssl-1.0.2-fips sanitizer job #10564
dougchproof_ci.yaml
on: pull_request
run_cbmc_proofs
28m 42s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_s2n-tls_2025_09_12_22_16_41
|
315 MB |
sha256:9eea017eebd9cdac9ea31837c6639a400ea1bb9eb1feca5b41733f1fea0ee44b
|
|