Update CMake and release workflow #7031
AniruddhaKanhereci.yml
on: pull_request
unittest
5m 53s
spell-check
1m 6s
formatting
19s
doxygen
18s
verify-manifest
19s
link-verifier
19m 34s
build-checks
1m 36s
complexity
12s
git-secrets
6s
proof_ci
6m 39s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2026_02_10_19_25_22
Expired
|
5.51 MB |
sha256:031fbaa4c6d164f682fae625a7faa93688e1a78de1e388ec66e3c42ccfa0c7fe
|
|