Skip to content
CI Checks

Update CBMC proofs #1905

Sign in to view logs

Update CBMC proofs

Update CBMC proofs #1905

Triggered via pull request January 22, 2026 21:34
@AniruddhaKanhereAniruddhaKanhere
synchronize #349
AniruddhaKanhere:FixCBMCProofs
Status Failure
Total duration 5m 0s
Artifacts 1

ci.yml

on: pull_request
unittest
25s
unittest
complexity
10s
complexity
doxygen
15s
doxygen
spell-check
1m 15s
spell-check
formatting
13s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
8s
custom-standard-c-headers
memory_statistics
38s
memory_statistics
link-verifier
3m 0s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
3m 59s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_22_21_38_28
122 MB
sha256:dead4e0db49d6c368163d492e5341a93ff36a9a98a929e1f8ef3ce5de37dadda