Skip to content
CI Checks

Fix/update and add unit tests #1851

Sign in to view logs

Fix/update and add unit tests

Fix/update and add unit tests #1851

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

ci.yml

on: pull_request
unittest
34s
unittest
complexity
19s
complexity
doxygen
1m 52s
doxygen
spell-check
1m 23s
spell-check
formatting
25s
formatting
git-secrets
9s
git-secrets
custom-standard-c-headers
18s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
7m 36s
link-verifier
verify-manifest
6s
verify-manifest
proof_ci
1m 31s
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_08_21_59_44
30.8 MB
sha256:0be294df5371343ae7111ea47d2e7b29a43b68bc9b6618acb046278a46a53daa
formattingChanges Expired
475 Bytes
sha256:871fe31be3887b71c9ed6e1e37adb6e8b329ff4ee26fbadcdd46e61faea001f9