Skip to content

refactor(bench): remove non-generic connection logic #2534

refactor(bench): remove non-generic connection logic

refactor(bench): remove non-generic connection logic #2534

Triggered via pull request October 19, 2023 05:24
Status Success
Total duration 14m 19s
Artifacts 1

proof_ci.yaml

on: pull_request
run_cbmc_proofs
14m 4s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_s2n-tls_2023_10_19_05_37_04 Expired
322 MB