Changes for passing the Coverity Static Analysis #1618
ci.yml
on: pull_request
unittest
43s
complexity
1m 17s
doxygen
23s
spell-check
1m 14s
formatting
9s
git-secrets
4s
custom-standard-c-headers
12s
memory_statistics
31s
link-verifier
4m 12s
verify-manifest
8s
proof_ci
32m 16s
Annotations
2 errors and 2 warnings
formatting
Process completed with exit code 1.
|
unittest
Process completed with exit code 2.
|
doxygen
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
spell-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreMQTT_2025_01_28_12_15_40
|
31 MB |
|
formattingChanges
|
733 Bytes |
|