Skip to content
CI Checks

Fix/update and add unit tests #1855

Sign in to view logs

Fix/update and add unit tests

Fix/update and add unit tests #1855

Triggered via pull request January 8, 2026 22:19
@AniruddhaKanhereAniruddhaKanhere
synchronize #346
AniruddhaKanhere:FixUnitTests
Status Failure
Total duration 7m 37s
Artifacts 2

ci.yml

on: pull_request
unittest
22s
unittest
complexity
15s
complexity
doxygen
51s
doxygen
spell-check
1m 11s
spell-check
formatting
13s
formatting
git-secrets
6s
git-secrets
custom-standard-c-headers
18s
custom-standard-c-headers
memory_statistics
37s
memory_statistics
link-verifier
7m 33s
link-verifier
verify-manifest
9s
verify-manifest
proof_ci
1m 50s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
formatting
Process completed with exit code 1.
complexity
Process completed with exit code 123.
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_08_22_21_11
30.8 MB
sha256:74c5f91a671eabb09f3e5e998d237050213ab99859d43cca3418893967bf0d8c
formattingChanges Expired
703 Bytes
sha256:cd47357a474d713706b8473c69f310e507a3c488696b1c0cc7378609bc5afac3