Skip to content
CI Checks

Add addition overflow checks #1960

Sign in to view logs

Add addition overflow checks

Add addition overflow checks #1960

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

ci.yml

on: pull_request
unittest
36s
unittest
complexity
9s
complexity
doxygen
18s
doxygen
spell-check
1m 15s
spell-check
formatting
13s
formatting
git-secrets
7s
git-secrets
custom-standard-c-headers
17s
custom-standard-c-headers
memory_statistics
34s
memory_statistics
link-verifier
2m 2s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
4m 4s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
complexity
Process completed with exit code 123.
memory_statistics
Process completed with exit code 1.
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:db24ceb838c69c7b66fdc1f9abac35ae5bcaab6e6e5ed855ee1291681453dd68
cbmc_proof_results_coreMQTT_2026_02_03_22_33_00
140 MB
sha256:4168b1bc2f2255b4fa430ea5e9b039a618a511087bf3c539fbd66bf857fc027f