Skip to content
Back to pull request #1147

[Draft] CBMC: replace any missing functions by assert-false #6552

Sign in to view logs

[Draft] CBMC: replace any missing functions by assert-false

[Draft] CBMC: replace any missing functions by assert-false #6552

Triggered via pull request July 16, 2024 12:40
@ActoryOuActoryOu
synchronize #1147
tautschnig:cbmc-no-undefined-functions
Status Success
Total duration 7m 29s
Billable time 8m
Artifacts 1

ci.yml

on: pull_request
unittest
5m 22s
unittest
spell-check
1m 15s
spell-check
formatting
30s
formatting
doxygen
20s
doxygen
verify-manifest
13s
verify-manifest
link-verifier
1m 31s
link-verifier
build-checks
1m 1s
build-checks
complexity
11s
complexity
git-secrets
4s
git-secrets
proof_ci
7m 17s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
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_FreeRTOS-Plus-TCP_2024_07_16_12_47_28". 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/
proof_ci
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2024_07_16_12_47_28 Expired
5.17 MB