Add incoming disconnect handling #1859
AniruddhaKanhereci.yml
on: pull_request
unittest
17s
complexity
9s
doxygen
16s
spell-check
1m 16s
formatting
20s
git-secrets
7s
custom-standard-c-headers
6s
memory_statistics
37s
link-verifier
8m 32s
verify-manifest
7s
proof_ci
1m 28s
Annotations
6 errors
|
complexity
Process completed with exit code 123.
|
|
doxygen
Process completed with exit code 1.
|
|
unittest
Process completed with exit code 2.
|
|
formatting
Process completed with exit code 1.
|
|
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_05_13
|
31.3 MB |
sha256:1b35c38e5377162d387c5dc37769e1bd0614d4ac0bcb68460a5bc9741b97a0b3
|
|
|
formattingChanges
Expired
|
456 Bytes |
sha256:e16f8eff0ae8324e9d826d237a5173dcaf11ef97f1bfee3910a9508d3f8881c8
|
|