Skip to content
Back to pull request #1056

Merge branch 'main' into issue_519 #598

Sign in to view logs

Merge branch 'main' into issue_519

Merge branch 'main' into issue_519 #598

Triggered via push September 8, 2023 21:52
@DmitriyMusatkinDmitriyMusatkin
pushed 4c59ed6
issue_519
Status Success
Total duration 21m 28s
Artifacts 1

proof_ci.yaml

on: push
run_cbmc_proofs
21m 3s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Artifacts

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