Skip to content
CI Checks

Update MQTT_GetSubAckStatusCodes #1866

Sign in to view logs

Update MQTT_GetSubAckStatusCodes

Update MQTT_GetSubAckStatusCodes #1866

Triggered via pull request January 12, 2026 22:32
@AniruddhaKanhereAniruddhaKanhere
opened #348
AniruddhaKanhere:MQTT_GetSubAckStatusCodes
Status Failure
Total duration 2m 48s
Artifacts 1

ci.yml

on: pull_request
unittest
21s
unittest
complexity
13s
complexity
doxygen
1m 20s
doxygen
spell-check
57s
spell-check
formatting
26s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
14s
custom-standard-c-headers
memory_statistics
35s
memory_statistics
link-verifier
2m 46s
link-verifier
verify-manifest
9s
verify-manifest
proof_ci
1m 33s
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.
memory_statistics
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_12_22_34_25
31.5 MB
sha256:73cc5a9cef82f3fd4f5843f216cfd680e83bb257c559f20b024679eb0d692a52