refactor: ossl x509 parsing · aws/s2n-tls@02529ef

Triggered via pull request January 22, 2024 20:46

jmayclin

synchronize #4351

Status Success

Total duration 14m 0s

Billable time 12m

Artifacts 1

proof_ci.yaml

on: pull_request

Produced during runtime

Name	Size
cbmc_proof_results_s2n-tls_2024_01_22_20_58_36 Expired	327 MB