Updates for clean build with latest ESP-IDF v5.4 #120
ci.yml
on: pull_request
unittest
45s
complexity
9s
doxygen
20s
spell-check
4m 25s
formatting
14s
git-secrets
4s
memory_statistics
29s
link-verifier
2m 5s
verify-manifest
6s
proof_ci
1m 28s
Annotations
2 errors and 1 warning
memory_statistics
Process completed with exit code 1.
|
link-verifier
Process completed with exit code 1.
|
formatting
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
Artifacts
Produced during runtime
Name | Size | Digest | |
---|---|---|---|
cbmc_proof_results_aws-iot-core-mqtt-file-streams-embedded-c_2025_03_24_08_44_49
|
957 Bytes |
sha256:8d35721d0041eda86f281a0d7801a995757efbad070c1a6a1f70d95697f16bb4
|
|