Fix compiler warnings with optimizations enabled #6757
tony-josi-awsci.yml
on: pull_request
unittest
6m 11s
spell-check
1m 46s
formatting
23s
doxygen
18s
verify-manifest
16s
link-verifier
1m 14s
build-checks
36s
complexity
19s
git-secrets
7s
proof_ci
7m 3s
Annotations
2 errors and 8 warnings
|
build-checks
Process completed with exit code 2.
|
|
proof_ci
Process completed with exit code 1.
|
|
git-secrets
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
doxygen
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
|
|
build-checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
link-verifier
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
|
|
unittest
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_FreeRTOS-Plus-TCP_2025_01_24_10_23_44
|
5.41 MB |
|