Changes for passing the Coverity Static Analysis #1621
ci.yml
on: pull_request
unittest
38s
complexity
1m 24s
doxygen
21s
spell-check
1m 20s
formatting
9s
git-secrets
6s
custom-standard-c-headers
10s
memory_statistics
31s
link-verifier
7m 45s
verify-manifest
7s
proof_ci
29m 36s
Annotations
3 errors
formatting
Process completed with exit code 1.
|
unittest
Process completed with exit code 25.
|
link-verifier
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreMQTT_2025_01_30_09_50_32
|
31 MB |
|
formattingChanges
|
733 Bytes |
|