CI-CD Updates #2747
ci.yml
on: pull_request
compiler-warnings
24s
complexity
11s
unittest
21s
coverage
51s
doxygen
21s
spell-check
42s
formatting
12s
git-secrets
3s
memory_statistics
45s
link-verifier
1m 11s
verify-manifest
20s
proof_ci
7m 26s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_09_02_23_18_27
Expired
|
106 MB |
|