Skip to content
CI Checks

Add incoming disconnect handling #1862

Sign in to view logs

Add incoming disconnect handling

Add incoming disconnect handling #1862

Triggered via pull request January 9, 2026 00:26
@AniruddhaKanhereAniruddhaKanhere
synchronize #347
AniruddhaKanhere:AddDisconnect
Status Failure
Total duration 7m 29s
Artifacts 1

ci.yml

on: pull_request
unittest
29s
unittest
complexity
16s
complexity
doxygen
14s
doxygen
spell-check
1m 12s
spell-check
formatting
12s
formatting
git-secrets
7s
git-secrets
custom-standard-c-headers
7s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
7m 25s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
1m 19s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

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

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_09_00_27_51
31.4 MB
sha256:811f29df5bfc689ffe57b5d6a69401393f7c815abc22b66f9c133dd02b52a37f