Add incoming disconnect handling #1856
AniruddhaKanhereci.yml
on: pull_request
unittest
29s
complexity
8s
doxygen
26s
spell-check
1m 26s
formatting
15s
git-secrets
6s
custom-standard-c-headers
8s
memory_statistics
34s
link-verifier
7m 28s
verify-manifest
9s
proof_ci
1m 24s
Annotations
7 errors
|
complexity
Process completed with exit code 123.
|
|
formatting
Process completed with exit code 1.
|
|
doxygen
Process completed with exit code 1.
|
|
unittest
Process completed with exit code 2.
|
|
memory_statistics
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_08_23_07_53
|
31.3 MB |
sha256:303bb8b7cb8e14ef598d4dd6d9779209f119eff1e53820a08c61b7da52adfb67
|
|
|
formattingChanges
Expired
|
959 Bytes |
sha256:ddad80565fa1c56049d56f29d2a85eaa75ba61d8bf5745be4cbcd13a2adccf91
|
|