Skip to content
CI Checks

[PR#482] - Update ARP cache from gratuitous ARP packets v2 #5234

Sign in to view logs

[PR#482] - Update ARP cache from gratuitous ARP packets v2

[PR#482] - Update ARP cache from gratuitous ARP packets v2 #5234

Triggered via pull request July 20, 2023 04:44
@tony-josi-awstony-josi-aws
opened #974
tony-josi-aws:ipv4_single_update_arp_from_gratuitous_arp_v2
Status Failure
Total duration 23m 22s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
unittest
4m 34s
unittest
spell-check
23m 14s
spell-check
formatting
15s
formatting
doxygen
40s
doxygen
build-checks
39s
build-checks
complexity
15s
complexity
git-secrets
5s
git-secrets
proof_ci
5m 25s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 6 warnings
build-checks
Process completed with exit code 2.
proof_ci
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/
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/
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/
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_07_20_04_50_22 Expired
4.45 MB