Skip to content
CI Checks

cmake: support custom network interfaces #7211

Sign in to view logs

cmake: support custom network interfaces

cmake: support custom network interfaces #7211

Re-run triggered August 27, 2026 01:00
@cookpatecookpate
#1359
HTRamsey:fix/custom-network-interface-cmake
Status Success
Total duration 19m 38s
Artifacts 1

ci.yml

on: pull_request
unittest
5m 31s
unittest
spell-check
1m 17s
spell-check
formatting
18s
formatting
doxygen
14s
doxygen
verify-manifest
21s
verify-manifest
link-verifier
19m 32s
link-verifier
build-checks
1m 47s
build-checks
complexity
23s
complexity
git-secrets
7s
git-secrets
proof_ci
6m 17s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
git-secrets
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
doxygen
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
formatting
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
verify-manifest
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
complexity
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
spell-check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-checks
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
unittest
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
proof_ci
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.1, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
link-verifier
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/setup-python@v5.1.0. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2026_08_27_01_08_38
5.53 MB
sha256:84b225db1bbec95a82e5809463e49347898788bea74f96a211db9bd4f39396ed