Skip to content
CI Checks

Update MQTT_GetSubAckStatusCodes #1867

Sign in to view logs

Update MQTT_GetSubAckStatusCodes

Update MQTT_GetSubAckStatusCodes #1867

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

ci.yml

on: pull_request
unittest
33s
unittest
complexity
11s
complexity
doxygen
22s
doxygen
spell-check
1m 32s
spell-check
formatting
15s
formatting
git-secrets
7s
git-secrets
custom-standard-c-headers
23s
custom-standard-c-headers
memory_statistics
34s
memory_statistics
link-verifier
56s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
2m 3s
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_12_22_41_18
31.5 MB
sha256:60b059ad2d20d5093ce8417acdb6a0c5ef7a253def86df98ae1d0a85c738d22d