Skip to content
CI Checks

Update APIs to use size_t for arrays and uint32_t/16_t for MQTT spec values #1942

Sign in to view logs

Update APIs to use size_t for arrays and uint32_t/16_t for MQTT spec values

Update APIs to use size_t for arrays and uint32_t/16_t for MQTT spec values #1942

Triggered via pull request January 29, 2026 08:12
@AniruddhaKanhereAniruddhaKanhere
synchronize #352
AniruddhaKanhere:APIUpdate
Status Failure
Total duration 3m 51s
Artifacts 1

ci.yml

on: pull_request
unittest
22s
unittest
complexity
8s
complexity
doxygen
12s
doxygen
spell-check
58s
spell-check
formatting
15s
formatting
git-secrets
7s
git-secrets
custom-standard-c-headers
6s
custom-standard-c-headers
memory_statistics
34s
memory_statistics
link-verifier
3m 44s
link-verifier
verify-manifest
6s
verify-manifest
proof_ci
3m 47s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
complexity
Process completed with exit code 123.
unittest
Process completed with exit code 8.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_29_08_15_22
138 MB
sha256:f9d861d155b0383666d821bc5f03c0490c67c0d1ff531d38623149e0504126cb