Skip to content
CI Checks

Add addition overflow checks #1954

Sign in to view logs

Add addition overflow checks

Add addition overflow checks #1954

Triggered via pull request February 3, 2026 08:25
@AniruddhaKanhereAniruddhaKanhere
synchronize #354
AniruddhaKanhere:OverflowDetection
Status Failure
Total duration 3m 12s
Artifacts 2

ci.yml

on: pull_request
unittest
53s
unittest
complexity
7s
complexity
doxygen
22s
doxygen
spell-check
59s
spell-check
formatting
12s
formatting
git-secrets
6s
git-secrets
custom-standard-c-headers
8s
custom-standard-c-headers
memory_statistics
35s
memory_statistics
link-verifier
55s
link-verifier
verify-manifest
10s
verify-manifest
proof_ci
3m 7s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
complexity
Process completed with exit code 123.
custom-standard-c-headers
Process completed with exit code 2.
unittest
Process completed with exit code 1.
unittest
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
CodecovHTMLReport Expired
281 KB
sha256:ab62044763a7cc8ff275a37bbb63543a7a1a84926de6c3a45a652ef7e08f5831
cbmc_proof_results_coreMQTT_2026_02_03_08_27_53
137 MB
sha256:c55e28c5df26bde6a684911726315cf0325fc90ab56f1506db0b663fc1d217ec