Skip to content
CI Checks

Add incoming disconnect handling #1861

Sign in to view logs

Add incoming disconnect handling

Add incoming disconnect handling #1861

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

ci.yml

on: pull_request
unittest
26s
unittest
complexity
15s
complexity
doxygen
13s
doxygen
spell-check
1m 0s
spell-check
formatting
16s
formatting
git-secrets
3s
git-secrets
custom-standard-c-headers
7s
custom-standard-c-headers
memory_statistics
34s
memory_statistics
link-verifier
4m 51s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
1m 37s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors
complexity
Process completed with exit code 123.
unittest
Process completed with exit code 2.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_09_00_09_18
31.3 MB
sha256:17eb6a76b60076ca01f305b9821df3c415166de07bfe057089bc4c4f9258532c