Skip to content
CI Checks

Remove instances of <DEVELOPMENT BRANCH> #646

Sign in to view logs

Remove instances of <DEVELOPMENT BRANCH>

Remove instances of <DEVELOPMENT BRANCH> #646

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

ci.yml

on: pull_request
unittest
40s
unittest
complexity
7s
complexity
doxygen
16s
doxygen
spell-check
1m 26s
spell-check
formatting
14s
formatting
git-secrets
8s
git-secrets
memory_statistics
34s
memory_statistics
link-verifier
9m 6s
link-verifier
verify-manifest
13s
verify-manifest
proof_ci
16m 9s
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_04_22_23_39
65.2 MB
sha256:8d59b4f9dad4d846431c645a2c0afdadc4af8a9ade382ea28d89af00236c2d78