Update manifest to list CMock as a test dependency. #955
jasonpcarrollci.yml
on: pull_request
unittest
36s
complexity
10s
doxygen
42s
spell-check
1m 11s
formatting
11s
ssot-check
5s
git-secrets
5s
memory_statistics
35s
link-verifier
5m 19s
verify-manifest
9s
proof_ci
3m 36s
Annotations
1 error
|
verify-manifest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreHTTP_2026_01_26_20_02_41
Expired
|
14.3 MB |
sha256:a0f5b642862a1dae51e35bf3c3557292b41ee84d77454a79187bd7d71725f4e2
|
|