Skip to content

Update callback instances to pass NULL props in terminating packets #1988

Update callback instances to pass NULL props in terminating packets

Update callback instances to pass NULL props in terminating packets #1988

Triggered via pull request February 20, 2026 20:02
Status Failure
Total duration 2m 52s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

6 errors
custom-standard-c-headers
Process completed with exit code 2.
complexity
Process completed with exit code 123.
unittest
Process completed with exit code 2.
memory_statistics
Process completed with exit code 1.
link-verifier
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_02_20_20_05_11
80.7 MB
sha256:1b9c577a6cf842aa44b0fef0afef910e62c510a0f9989fe08b7ccb1eeeca2633