Changes for passing the Coverity Static Analysis #1622
ci.yml
on: pull_request
unittest
37s
complexity
12s
doxygen
19s
spell-check
1m 19s
formatting
10s
git-secrets
6s
custom-standard-c-headers
28s
memory_statistics
34s
link-verifier
1m 13s
verify-manifest
4s
proof_ci
31m 55s
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_30_09_57_21
|
31 MB |
|
formattingChanges
|
733 Bytes |
|