Changes for passing the Coverity Static Analysis #1624
ci.yml
on: pull_request
unittest
39s
complexity
14s
doxygen
27s
spell-check
1m 48s
formatting
12s
git-secrets
4s
custom-standard-c-headers
4s
memory_statistics
32s
link-verifier
7m 48s
verify-manifest
5s
proof_ci
26m 31s
Annotations
2 errors
formatting
Process completed with exit code 1.
|
link-verifier
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreMQTT_2025_02_03_11_05_31
|
31 MB |
|
formattingChanges
|
989 Bytes |
|