Skip to content
CI Checks

Check minimum size of ICMPv6 packets #5523

Sign in to view logs

Check minimum size of ICMPv6 packets

Check minimum size of ICMPv6 packets #5523

Triggered via pull request September 1, 2023 07:17
@kar-rahul-awskar-rahul-aws
synchronize #994
htibosch:Check_minimum_size_of_ICMPv6_packets
Status Failure
Total duration 23m 48s
Artifacts 1

ci.yml

on: pull_request
unittest
5m 57s
unittest
spell-check
23m 35s
spell-check
formatting
16s
formatting
doxygen
35s
doxygen
build-checks
1m 22s
build-checks
complexity
12s
complexity
git-secrets
4s
git-secrets
proof_ci
6m 7s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 9 warnings
unittest
Process completed with exit code 1.
unittest
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/
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/
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
No files were found with the provided path: CodecovHTMLReport.zip. No artifacts will be uploaded.
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/
unittest
Unexpected input(s) 'path', valid inputs are ['coverage-file', 'branch-coverage-min', 'line-coverage-min']
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_01_07_23_58 Expired
4.45 MB