Skip to content
CI Checks

Add addition overflow checks #1955

Sign in to view logs

Add addition overflow checks

Add addition overflow checks #1955

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

ci.yml

on: pull_request
unittest
47s
unittest
complexity
9s
complexity
doxygen
14s
doxygen
spell-check
1m 43s
spell-check
formatting
14s
formatting
git-secrets
6s
git-secrets
custom-standard-c-headers
5s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
9m 36s
link-verifier
verify-manifest
9s
verify-manifest
proof_ci
3m 34s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
complexity
Process completed with exit code 123.
unittest
Process completed with exit code 1.
unittest
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
CodecovHTMLReport Expired
281 KB
sha256:6047c1369a9ca91d58879bf465e78a3200f21fd4cc640a31bdb1eeed9e2b5f0d
cbmc_proof_results_coreMQTT_2026_02_03_08_39_15
137 MB
sha256:39305e89114bce9cfa68f4025610da65faab05d11a7be648777e5d30881a2156