Skip to content
CI Checks

Fix/update and add unit tests #1850

Sign in to view logs

Fix/update and add unit tests

Fix/update and add unit tests #1850

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

ci.yml

on: pull_request
unittest
38s
unittest
complexity
59s
complexity
doxygen
24s
doxygen
spell-check
1m 10s
spell-check
formatting
11s
formatting
git-secrets
7s
git-secrets
custom-standard-c-headers
12s
custom-standard-c-headers
memory_statistics
36s
memory_statistics
link-verifier
1m 47s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
1m 14s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
formatting
Process completed with exit code 1.
unittest
Process completed with exit code 2.
complexity
Process completed with exit code 123.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreMQTT_2026_01_08_21_42_55
30.8 MB
sha256:5cdd81325c34409e919839ffab824f006dffe8b378d81021d84fc05ab75032e6
formattingChanges Expired
475 Bytes
sha256:89b13a0fcc56f59f68ef554d7d9fa3f900c41022c40cde42633d1d96b9d6e00d