Skip to content
CI Checks

DriverSAM/NetworkInterface.c warning cleanup - purely refactoring #5531

Sign in to view logs

DriverSAM/NetworkInterface.c warning cleanup - purely refactoring

DriverSAM/NetworkInterface.c warning cleanup - purely refactoring #5531

Triggered via pull request September 2, 2023 06:38
@kar-rahul-awskar-rahul-aws
synchronize #1016
Peter-Herrmann:dev/SAM-NetworkInterface-refactor
Status Failure
Total duration 24m 39s
Artifacts 2

ci.yml

on: pull_request
unittest
5m 35s
unittest
spell-check
24m 29s
spell-check
formatting
19s
formatting
doxygen
18s
doxygen
verify-manifest
27s
verify-manifest
build-checks
1m 17s
build-checks
complexity
15s
complexity
git-secrets
5s
git-secrets
proof_ci
5m 34s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error and 7 warnings
formatting
Process completed with exit code 1.
git-secrets
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
complexity
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
doxygen
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
formatting
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build-checks
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
unittest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
spell-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2023_09_02_06_44_27 Expired
4.45 MB
formattingChanges Expired
499 KB