Skip to content
CI Checks

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

Sign in to view logs

Update manifest to list CMock as a test dependency.

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

Triggered via pull request January 27, 2026 23:01
@jasonpcarrolljasonpcarroll
synchronize #196
jasonpcarroll:updateManifest
Status Success
Total duration 4m 42s
Artifacts 1

ci.yml

on: pull_request
unittest
26s
unittest
complexity
7s
complexity
doxygen
21s
doxygen
spell-check
1m 24s
spell-check
formatting
10s
formatting
ssot-check
7s
ssot-check
git-secrets
5s
git-secrets
memory_statistics
39s
memory_statistics
link-verifier
4m 38s
link-verifier
verify-manifest
10s
verify-manifest
proof_ci
3m 10s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreHTTP_2026_01_27_23_04_06 Expired
14.3 MB
sha256:f515c4b30c3ab5feb09c1e1583758c43f9a202042ac18fa1677e6b59326d8e7a