Skip to content
CI Checks

Changes for passing the Coverity Static Analysis #1620

Sign in to view logs

Changes for passing the Coverity Static Analysis

Changes for passing the Coverity Static Analysis #1620

Triggered via pull request January 29, 2025 11:06
@DakshitBabbarDakshitBabbar
synchronize #314
DakshitBabbar:coverityChanges
Status Failure
Total duration 30m 29s
Artifacts 2

ci.yml

on: pull_request
unittest
33s
unittest
complexity
11s
complexity
doxygen
27s
doxygen
spell-check
1m 14s
spell-check
formatting
9s
formatting
git-secrets
4s
git-secrets
custom-standard-c-headers
7s
custom-standard-c-headers
memory_statistics
30s
memory_statistics
link-verifier
52s
link-verifier
verify-manifest
7s
verify-manifest
proof_ci
30m 20s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
formatting
Process completed with exit code 1.
unittest
Process completed with exit code 25.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreMQTT_2025_01_29_11_37_06
31 MB
formattingChanges
733 Bytes