Skip to content
Run CBMC proofs

Fix test skipping #1410

Sign in to view logs

Fix test skipping

Fix test skipping #1410

Triggered via pull request May 30, 2024 16:39
@graebmgraebm
synchronize #1118
fix-test-skipping
Status Success
Total duration 24m 31s
Billable time 23m
Artifacts 1

proof_ci.yaml

on: pull_request
run_cbmc_proofs
22m 3s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Run CBMC proofs
Found multiple labels in this runner. Support for multiple labels on Larger Runners will be removed after June 17th, 2024. Please visit changelog for the brownouts and more details: https://github.blog/changelog/2024-05-16-new-dates-for-actions-larger-runner-multi-label-deprecation/.
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "cbmc_proof_results_aws-c-common_2024_05_30_16_59_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/
run_cbmc_proofs
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_aws-c-common_2024_05_30_16_59_53 Expired
530 MB