Skip to content
CI Checks

Update manifest to list CMock as a test dependency. #956

Sign in to view logs

Update manifest to list CMock as a test dependency.

Update manifest to list CMock as a test dependency. #956

Triggered via pull request January 26, 2026 20:08
@jasonpcarrolljasonpcarroll
synchronize #196
jasonpcarroll:updateManifest
Status Success
Total duration 3m 50s
Artifacts 1

ci.yml

on: pull_request
unittest
30s
unittest
complexity
11s
complexity
doxygen
21s
doxygen
spell-check
1m 3s
spell-check
formatting
11s
formatting
ssot-check
6s
ssot-check
git-secrets
7s
git-secrets
memory_statistics
37s
memory_statistics
link-verifier
3m 46s
link-verifier
verify-manifest
14s
verify-manifest
proof_ci
3m 14s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreHTTP_2026_01_26_20_12_03 Expired
14.3 MB
sha256:a19fd9d2f57c3193b42e071f32250afdfbc6853c3472f06573b3b8dd1028af5e