Skip to content
CI Checks

Fix/update and add unit tests #1865

Sign in to view logs

Fix/update and add unit tests

Fix/update and add unit tests #1865

Triggered via pull request January 9, 2026 23:43
@AniruddhaKanhereAniruddhaKanhere
synchronize #346
AniruddhaKanhere:FixUnitTests
Status Failure
Total duration 7m 32s
Artifacts 2

ci.yml

on: pull_request
unittest
27s
unittest
complexity
11s
complexity
doxygen
16s
doxygen
spell-check
1m 31s
spell-check
formatting
17s
formatting
git-secrets
6s
git-secrets
custom-standard-c-headers
15s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
7m 28s
link-verifier
verify-manifest
9s
verify-manifest
proof_ci
1m 34s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
complexity
Process completed with exit code 123.
formatting
Process completed with exit code 1.
unittest
Process completed with exit code 2.
proof_ci
Process completed with exit code 1.
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_09_23_45_14
31.4 MB
sha256:708dd97c927a7784b1b9ac605981be45db36911fdb0c93e671e787dfed6f683e
formattingChanges Expired
701 Bytes
sha256:4d51464fbb61a3099f59607c366f3e12f6c152b97e4d51e692d077e3cf42ecb1