Skip to content
CI Checks

Add CMakeLists.txt file #649

Sign in to view logs

Add CMakeLists.txt file

Add CMakeLists.txt file #649

Triggered via pull request February 5, 2026 22:07
@AniruddhaKanhereAniruddhaKanhere
opened #204
AniruddhaKanhere:main
Status Failure
Total duration 16m 58s
Artifacts 1

ci.yml

on: pull_request
unittest
36s
unittest
complexity
8s
complexity
doxygen
18s
doxygen
spell-check
1m 0s
spell-check
formatting
16s
formatting
git-secrets
8s
git-secrets
memory_statistics
38s
memory_statistics
link-verifier
10m 10s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
16m 53s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_FreeRTOS-Cellular-Interface_2026_02_05_22_24_41 Expired
65.2 MB
sha256:08027c7424804303d67cf6e484f8ce02d0ed516842d880ae6114b8cb790d58a9