Skip to content
CI Checks

Changes for passing the Coverity Static Analysis #1623

Sign in to view logs

Changes for passing the Coverity Static Analysis

Changes for passing the Coverity Static Analysis #1623

Triggered via pull request January 30, 2025 09:42
@DakshitBabbarDakshitBabbar
synchronize #314
DakshitBabbar:coverityChanges
Status Failure
Total duration 33m 27s
Artifacts 2

ci.yml

on: pull_request
unittest
1m 45s
unittest
complexity
11s
complexity
doxygen
1m 15s
doxygen
spell-check
1m 21s
spell-check
formatting
9s
formatting
git-secrets
4s
git-secrets
custom-standard-c-headers
4s
custom-standard-c-headers
memory_statistics
31s
memory_statistics
link-verifier
53s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
33m 20s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error
formatting
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreMQTT_2025_01_30_10_15_34
31 MB
formattingChanges Expired
733 Bytes