Skip to content
CI Checks

Limit the number of returned access technology settings #659

Sign in to view logs

Limit the number of returned access technology settings

Limit the number of returned access technology settings #659

Triggered via pull request June 26, 2026 16:56
@kstribrnAmznkstribrnAmzn
opened #209
kstribrnAmzn:erdxList
Status Failure
Total duration 18m 5s
Artifacts 1

ci.yml

on: pull_request
unittest
40s
unittest
complexity
19s
complexity
doxygen
17s
doxygen
spell-check
59s
spell-check
formatting
40s
formatting
git-secrets
7s
git-secrets
memory_statistics
39s
memory_statistics
link-verifier
6m 51s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
16m 24s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error and 10 warnings
memory_statistics
Process completed with exit code 1.
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/
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/
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/
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/
memory_statistics
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. 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/
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/
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/
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/
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/

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Cellular-Interface_2026_06_26_17_13_51
65.2 MB
sha256:270453bc881ea89b854d300b51fb92057643381caa60790cb5a00a6864322311