Skip to content
CI Checks

Add incoming disconnect handling #1860

Sign in to view logs

Add incoming disconnect handling

Add incoming disconnect handling #1860

Triggered via pull request January 9, 2026 00:05
@AniruddhaKanhereAniruddhaKanhere
synchronize #347
AniruddhaKanhere:AddDisconnect
Status Failure
Total duration 3m 50s
Artifacts 2

ci.yml

on: pull_request
unittest
54s
unittest
complexity
7s
complexity
doxygen
15s
doxygen
spell-check
1m 22s
spell-check
formatting
14s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
14s
custom-standard-c-headers
memory_statistics
35s
memory_statistics
link-verifier
3m 46s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
1m 52s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
complexity
Process completed with exit code 123.
formatting
Process completed with exit code 1.
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_07_13
31.4 MB
sha256:0d2e6f550798a07d7a757b647873399aa6cd5ed3ff7a21bb0bd5d49a1da10190
formattingChanges Expired
456 Bytes
sha256:1971079b8a791ff6b29867a0a7b0cff066d41e43a59c811c6ac62a1a3a8a7843