Add addition overflow checks #1962
ci.yml
on: pull_request
unittest
38s
complexity
8s
doxygen
14s
spell-check
1m 28s
formatting
14s
git-secrets
5s
custom-standard-c-headers
8s
memory_statistics
35s
link-verifier
6m 54s
verify-manifest
10s
proof_ci
3m 20s
Annotations
2 errors
|
complexity
Process completed with exit code 123.
|
|
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreMQTT_2026_02_04_19_20_18
|
140 MB |
sha256:e3f22dfea184ed34f9eca8502976e49960f4a122287d979ee21ace4dfef5082f
|
|
|
formattingChanges
Expired
|
719 Bytes |
sha256:4a4e9ea98708a766caf007276f812309b480496c4f0ab22d6e5770e02afed1c8
|
|