Skip to content
CI Checks

Upgrade the library to be compatible with MQTTv5 #1864

Sign in to view logs

Upgrade the library to be compatible with MQTTv5

Upgrade the library to be compatible with MQTTv5 #1864

Triggered via pull request January 9, 2026 23:42
@AniruddhaKanhereAniruddhaKanhere
synchronize #343
MQTTv5-reviewed-changes
Status Failure
Total duration 6m 45s
Artifacts 1

ci.yml

on: pull_request
unittest
32s
unittest
complexity
12s
complexity
doxygen
15s
doxygen
spell-check
1m 8s
spell-check
formatting
21s
formatting
git-secrets
7s
git-secrets
custom-standard-c-headers
8s
custom-standard-c-headers
memory_statistics
39s
memory_statistics
link-verifier
6m 42s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
1m 40s
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_23_43_42
31.4 MB
sha256:8aa1a7d44afd9eabc676f47d7356e6849b15220b7d20a2e83d794f21a106e2d9