Clang-Format and CI-CD Update #2732
ci.yml
on: pull_request
compiler-warnings
42s
complexity
8s
unittest
23s
coverage
44s
doxygen
27s
spell-check
2m 1s
formatting
19s
git-secrets
6s
memory_statistics
50s
link-verifier
1m 0s
verify-manifest
18s
proof_ci
5m 17s
Annotations
1 error
spell-check
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_08_21_02_47_43
Expired
|
109 MB |
|