Skip to content
CI Checks

Fix/update and add unit tests #1852

Sign in to view logs

Fix/update and add unit tests

Fix/update and add unit tests #1852

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

ci.yml

on: pull_request
unittest
17s
unittest
complexity
17s
complexity
doxygen
14s
doxygen
spell-check
1m 27s
spell-check
formatting
12s
formatting
git-secrets
8s
git-secrets
custom-standard-c-headers
14s
custom-standard-c-headers
memory_statistics
35s
memory_statistics
link-verifier
9m 33s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
1m 41s
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_12_18
30.7 MB
sha256:844f0f53b559cb03c52d1d3f192beea7875dd4c705f08e75927d099828215d17
formattingChanges Expired
475 Bytes
sha256:2807c04d86360b98e60541bb1bb493a250c7309154d734e9c7132971adc1d61f