Skip to content
CI Checks

Update changelog #644

Sign in to view logs

Update changelog

Update changelog #644

Triggered via pull request February 4, 2026 20:33
@AniruddhaKanhereAniruddhaKanhere
synchronize #200
AniruddhaKanhere:main
Status Failure
Total duration 15m 47s
Artifacts 1

ci.yml

on: pull_request
unittest
51s
unittest
complexity
13s
complexity
doxygen
18s
doxygen
spell-check
1m 13s
spell-check
formatting
15s
formatting
git-secrets
4s
git-secrets
memory_statistics
37s
memory_statistics
link-verifier
5m 54s
link-verifier
verify-manifest
10s
verify-manifest
proof_ci
15m 43s
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_20_49_26 Expired
65.2 MB
sha256:f4112759d7f797494bd12fc21ead57a44f71417e4fd1f31d2aa16fdc3fbfb0cc