Changes for passing the Coverity Static Analysis #1626
ci.yml
on: pull_request
unittest
39s
complexity
13s
doxygen
36s
spell-check
1m 40s
formatting
8s
git-secrets
6s
custom-standard-c-headers
4s
memory_statistics
32s
link-verifier
45s
verify-manifest
4s
proof_ci
28m 9s
Annotations
1 error
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreMQTT_2025_02_06_07_49_34
|
31.1 MB |
|
formattingChanges
|
402 Bytes |
|