Skip to content
Triggered via push October 20, 2023 23:25
Status Success
Total duration 19m 59s
Artifacts 1

proof_ci.yaml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_aws-c-common_2023_10_20_23_41_33 Expired
523 MB