Add addition overflow checks #1961
ci.yml
on: pull_request
unittest
42s
complexity
7s
doxygen
16s
spell-check
1m 21s
formatting
12s
git-secrets
4s
custom-standard-c-headers
10s
memory_statistics
34s
link-verifier
54s
verify-manifest
10s
proof_ci
3m 57s
Annotations
3 errors
|
complexity
Process completed with exit code 123.
|
|
unittest
Process completed with exit code 1.
|
|
unittest
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
CodecovHTMLReport
Expired
|
281 KB |
sha256:f43ba6e7ead85ed76934ea3970f3a4e17ef316ae4839c20320d86127cfe366ad
|
|
|
cbmc_proof_results_coreMQTT_2026_02_03_22_44_36
|
140 MB |
sha256:77bc856953d5953e8baab85424cc12a95c3d5bbf05a36527461d31b4caab733e
|
|