Skip to content
CI Checks

Add incoming disconnect handling #1857

Sign in to view logs

Add incoming disconnect handling

Add incoming disconnect handling #1857

Triggered via pull request January 8, 2026 23:37
@AniruddhaKanhereAniruddhaKanhere
synchronize #347
AniruddhaKanhere:AddDisconnect
Status Failure
Total duration 2m 47s
Artifacts 1

ci.yml

on: pull_request
unittest
33s
unittest
complexity
10s
complexity
doxygen
17s
doxygen
spell-check
1m 26s
spell-check
formatting
14s
formatting
git-secrets
8s
git-secrets
custom-standard-c-headers
6s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
2m 43s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
1m 51s
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_08_23_39_00
31.3 MB
sha256:d1f6ef5485d5fbfc9d6aeb0fef801078edfceeb38c5e82c8f316fa252050ae5e