Skip to content
CI Checks

Update the release workflow to use CI-CD-GH-Actions workflow #641

Sign in to view logs

Update the release workflow to use CI-CD-GH-Actions workflow

Update the release workflow to use CI-CD-GH-Actions workflow #641

Triggered via pull request February 4, 2026 19:30
@AniruddhaKanhereAniruddhaKanhere
opened #199
AniruddhaKanhere:main
Status Failure
Total duration 15m 46s
Artifacts 1

ci.yml

on: pull_request
unittest
28s
unittest
complexity
10s
complexity
doxygen
18s
doxygen
spell-check
1m 20s
spell-check
formatting
14s
formatting
git-secrets
8s
git-secrets
memory_statistics
39s
memory_statistics
link-verifier
8m 2s
link-verifier
verify-manifest
11s
verify-manifest
proof_ci
15m 42s
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_19_46_01 Expired
65.2 MB
sha256:7553b4d8b83f62947ba6f83f8fffec1fa498bdb2065b880a7ddb0e619155f891