Skip to content
Run CBMC proofs

make naming consistent #696

Sign in to view logs

make naming consistent

make naming consistent #696

Triggered via push October 20, 2023 23:33
@DmitriyMusatkinDmitriyMusatkin
pushed a430c99
rusage
Status Success
Total duration 19m 47s
Artifacts 1

proof_ci.yaml

on: push
run_cbmc_proofs
19m 31s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Artifacts

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