Clang-Format and CI-CD Update #2739
ci.yml
on: pull_request
compiler-warnings
25s
complexity
12s
unittest
22s
coverage
43s
doxygen
24s
spell-check
1m 28s
formatting
17s
git-secrets
4s
memory_statistics
1m 1s
link-verifier
1m 6s
verify-manifest
33s
proof_ci
6m 1s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_08_21_23_29_20
Expired
|
109 MB |
|