Update CMake and release workflow #7034
AniruddhaKanhereci.yml
on: pull_request
unittest
5m 49s
spell-check
1m 36s
formatting
16s
doxygen
16s
verify-manifest
18s
link-verifier
12m 36s
build-checks
1m 33s
complexity
15s
git-secrets
6s
proof_ci
6m 44s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2026_02_10_21_54_39
Expired
|
5.51 MB |
sha256:4aa75f518a7453d47cb2bf427dca151d519383b3cfb84a796753ac86d0160149
|
|