Clang-Format and CI-CD Update #2723
ci.yml
on: pull_request
compiler-warnings
16s
complexity
10s
unittest
28s
coverage
40s
doxygen
19s
spell-check
2m 13s
formatting
18s
git-secrets
6s
memory_statistics
1m 0s
link-verifier
57s
verify-manifest
5s
proof_ci
8m 5s
Annotations
4 errors
verify-manifest
Process completed with exit code 1.
|
formatting
Process completed with exit code 1.
|
formatting
Process completed with exit code 1.
|
proof_ci
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_08_17_21_36_01
Expired
|
77.8 MB |
|
formattingChanges
Expired
|
2.03 KB |
|