Skip to content
CI Checks

[IPv6] Fill in endpoint address for neighbor solicitation. #4505

Sign in to view logs

[IPv6] Fill in endpoint address for neighbor solicitation.

[IPv6] Fill in endpoint address for neighbor solicitation. #4505

Triggered via pull request April 26, 2023 08:20
@ActoryOuActoryOu
opened #847
ActoryOu:fixNDSrc
Status Success
Total duration 10m 40s
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 39s
unittest
spell-check
10m 27s
spell-check
formatting
35s
formatting
doxygen
1m 5s
doxygen
build-checks
1m 9s
build-checks
complexity
56s
complexity
git-secrets
8s
git-secrets
proof_ci
7m 11s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
git-secrets
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
complexity
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
doxygen
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
build-checks
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
unittest
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
spell-check
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2023_04_26_08_27_36 Expired
2.53 MB