Skip to content
CI Checks

Add more descriptions of ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM (#947) #5211

Sign in to view logs

Add more descriptions of ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM (#947)

Add more descriptions of ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM (#947) #5211

Triggered via push July 18, 2023 15:25
@ActoryOuActoryOu
pushed b8e1ba3
dev/IPv6_integration
Status Success
Total duration 30m 0s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
unittest
5m 45s
unittest
spell-check
29m 49s
spell-check
formatting
20s
formatting
doxygen
26s
doxygen
build-checks
1m 1s
build-checks
complexity
14s
complexity
git-secrets
5s
git-secrets
proof_ci
6m 0s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
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/
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_07_18_15_31_49 Expired
4.43 MB