Changes for passing the Coverity Static Analysis #1619
ci.yml
on: pull_request
unittest
27s
complexity
12s
doxygen
1m 29s
spell-check
2m 2s
formatting
14s
git-secrets
4s
custom-standard-c-headers
14s
memory_statistics
31s
link-verifier
2m 18s
verify-manifest
5s
proof_ci
32m 51s
Annotations
2 errors and 7 warnings
formatting
Process completed with exit code 1.
|
unittest
Process completed with exit code 25.
|
git-secrets
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
verify-manifest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
complexity
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
custom-standard-c-headers
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
unittest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
memory_statistics
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_16_25
|
31 MB |
|
formattingChanges
Expired
|
733 Bytes |
|