Update CBMC proof tooling to latest releases (#1164) · awslabs/aws-c-common@da9e1c3

Triggered via push November 26, 2024 20:00

graebm

main

Status Success

Total duration 19m 21s

Artifacts 1

proof_ci.yaml

on: push

1 warning

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "cbmc_proof_results_aws-c-common_2024_11_26_20_16_53". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Produced during runtime

Name	Size
cbmc_proof_results_aws-c-common_2024_11_26_20_16_53	637 MB