Clang-Format and CI-CD Update #2726
Skptakci.yml
on: pull_request
compiler-warnings
19s
complexity
12s
unittest
29s
coverage
28s
doxygen
18s
spell-check
2m 8s
formatting
20s
git-secrets
4s
memory_statistics
45s
link-verifier
52s
verify-manifest
39s
proof_ci
4m 46s
Annotations
1 error
|
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_22_11_22
Expired
|
77.8 MB |
|