Skip to content
CI Checks

Fix/update and add unit tests #1854

Sign in to view logs

Fix/update and add unit tests

Fix/update and add unit tests #1854

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

ci.yml

on: pull_request
unittest
40s
unittest
complexity
10s
complexity
doxygen
14s
doxygen
spell-check
1m 27s
spell-check
formatting
12s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
10s
custom-standard-c-headers
memory_statistics
33s
memory_statistics
link-verifier
2m 47s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
1m 49s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 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.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_08_22_16_39
30.8 MB
sha256:04b0d5ebb30cd4b9e6d63091276ac7b23471e329a0fa68a90394e786b70877f2
formattingChanges Expired
475 Bytes
sha256:ebbe1dd3fd63d09c9a4417823f97eebf8c5db12344250a7fa3d6bec06197f840