Skip to content
CI Checks

Upgrade the library to be compatible with MQTTv5 #1869

Sign in to view logs

Upgrade the library to be compatible with MQTTv5

Upgrade the library to be compatible with MQTTv5 #1869

Triggered via pull request January 13, 2026 00:26
@AniruddhaKanhereAniruddhaKanhere
synchronize #343
MQTTv5-reviewed-changes
Status Failure
Total duration 7m 30s
Artifacts 1

ci.yml

on: pull_request
unittest
34s
unittest
complexity
9s
complexity
doxygen
18s
doxygen
spell-check
1m 5s
spell-check
formatting
16s
formatting
git-secrets
6s
git-secrets
custom-standard-c-headers
7s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
7m 27s
link-verifier
verify-manifest
9s
verify-manifest
proof_ci
1m 35s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
complexity
Process completed with exit code 123.
unittest
Process completed with exit code 2.
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_13_00_27_42
31.5 MB
sha256:4d74b641ab0670cc93469a3c22441b6878fa17822ed674331398296d6af87bd4