Fix compiler warnings with optimizations enabled #6763
ci.yml
on: pull_request
unittest
5m 56s
spell-check
1m 29s
formatting
14s
doxygen
22s
verify-manifest
14s
link-verifier
2m 3s
build-checks
1m 36s
complexity
18s
git-secrets
7s
proof_ci
6m 30s
Annotations
1 error and 8 warnings
|
formatting
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
|
|
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
|
|
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
|
|
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
|
|
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 | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_01_27_10_04_13
Expired
|
5.4 MB |
sha256:929da5bb4d47d0452634f6d9221b271185982b2afcca8d30636d4098d29e044f
|
|
|
formattingChanges
Expired
|
498 Bytes |
sha256:63460df10250efe82da16af83813de2422b67356709f536e73f515b4020a8af5
|
|