Skip to content
CI Checks

Fixes the TCP zero-copy functionality... #5540

Sign in to view logs

Fixes the TCP zero-copy functionality...

Fixes the TCP zero-copy functionality... #5540

Re-run triggered September 5, 2023 15:18
@tony-josi-awstony-josi-aws
#1018
evpopov:TCP_ZeroCopyFix_PR
Status Failure
Total duration 27m 57s
Artifacts 2

ci.yml

on: pull_request
unittest
5m 41s
unittest
spell-check
27m 42s
spell-check
formatting
19s
formatting
doxygen
17s
doxygen
verify-manifest
20s
verify-manifest
build-checks
29s
build-checks
complexity
18s
complexity
git-secrets
9s
git-secrets
proof_ci
7m 49s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 7 warnings
formatting
Process completed with exit code 1.
build-checks
Process completed with exit code 2.
unittest
Process completed with exit code 8.
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/
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/
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/
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_05_15_26_38 Expired
4.45 MB
formattingChanges Expired
498 KB