Skip to content
CI Checks

Add API MQTT_SkipNextProperty #1927

Sign in to view logs

Add API MQTT_SkipNextProperty

Add API MQTT_SkipNextProperty #1927

Triggered via pull request January 25, 2026 01:05
@AniruddhaKanhereAniruddhaKanhere
synchronize #350
AniruddhaKanhere:AddSkipPropertyAPI
Status Failure
Total duration 3m 30s
Artifacts 1

ci.yml

on: pull_request
unittest
51s
unittest
complexity
11s
complexity
doxygen
12s
doxygen
spell-check
1m 24s
spell-check
formatting
14s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
10s
custom-standard-c-headers
memory_statistics
34s
memory_statistics
link-verifier
2m 46s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
3m 26s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
complexity
Process completed with exit code 123.
memory_statistics
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_25_01_08_21
135 MB
sha256:da1efce3c95271101d09bfac45f1abededeb485713ebd11ec7fcffba306f947b