Skip to content
CI Checks

Limit the number of returned access technology settings #660

Sign in to view logs

Limit the number of returned access technology settings

Limit the number of returned access technology settings #660

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

ci.yml

on: pull_request
unittest
42s
unittest
complexity
8s
complexity
doxygen
17s
doxygen
spell-check
1m 29s
spell-check
formatting
20s
formatting
git-secrets
7s
git-secrets
memory_statistics
28s
memory_statistics
link-verifier
13m 52s
link-verifier
verify-manifest
11s
verify-manifest
proof_ci
16m 13s
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/
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/
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/
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/
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/
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_18_32_52
65.2 MB
sha256:7fc68397fad1fca01f80eb2fa9a6ae953bacfd026edfc4acf16c9be8c1b31352