Update CMake and release workflow #7033
AniruddhaKanhereci.yml
on: pull_request
unittest
5m 50s
spell-check
1m 23s
formatting
13s
doxygen
16s
verify-manifest
23s
link-verifier
15m 29s
build-checks
1m 45s
complexity
11s
git-secrets
7s
proof_ci
6m 46s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2026_02_10_21_52_38
Expired
|
5.51 MB |
sha256:69eec7cc8449af7322e7276ec8a354704dc7db80082d449a190ab1f7fa2dbbcb
|
|