Skip to content
CI Checks

Multicast Support #7213

Sign in to view logs

Multicast Support

Multicast Support #7213

Re-run triggered August 19, 2026 14:33
@rawalexerawalexe
#1019
evpopov:MCast_PR
Status Failure
Total duration 33m 7s
Artifacts 2

ci.yml

on: pull_request
unittest
4m 16s
unittest
spell-check
29m 44s
spell-check
formatting
41s
formatting
doxygen
18s
doxygen
verify-manifest
24s
verify-manifest
link-verifier
18m 55s
link-verifier
build-checks
3m 12s
build-checks
complexity
45s
complexity
git-secrets
10s
git-secrets
proof_ci
6m 45s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 10 warnings
formatting
Process completed with exit code 1.
build-checks
Process completed with exit code 2.
unittest
Process completed with exit code 8.
spell-check
Process completed with exit code 1.
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, actions/upload-artifact@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/
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/
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/
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/
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/
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/

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Plus-TCP_2026_08_19_14_39_46
5.54 MB
sha256:870a420b98a5eb5a365995fbc8aa1c009e258c531825144ef3bf258cad48893d
formattingChanges Expired
1.06 KB
sha256:28054e41e90cd2372baef868dc2eb17b2625d2a8b6c4a968ab45f3637065f628