Fix/update and add unit tests #1853
ci.yml
on: pull_request
unittest
27s
complexity
13s
doxygen
21s
spell-check
1m 33s
formatting
21s
git-secrets
5s
custom-standard-c-headers
7s
memory_statistics
33s
link-verifier
10m 37s
verify-manifest
7s
proof_ci
1m 32s
Annotations
5 errors
|
complexity
Process completed with exit code 123.
|
|
formatting
Process completed with exit code 1.
|
|
unittest
Process completed with exit code 2.
|
|
proof_ci
Process completed with exit code 1.
|
|
link-verifier
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreMQTT_2026_01_08_22_14_26
|
30.8 MB |
sha256:392a46c54bee1c940db7770e6594a9e2a655349f3c527beb8cb28dc579906576
|
|
|
formattingChanges
Expired
|
475 Bytes |
sha256:8eee8c35b9ce8c6dbf4f2dae36a048132ef6d2a13161ef0dc8851747762e2159
|
|