Clang-Format and CI-CD Update #2725
Skptakci.yml
on: pull_request
compiler-warnings
23s
complexity
8s
unittest
33s
coverage
32s
doxygen
28s
spell-check
2m 5s
formatting
13s
git-secrets
4s
memory_statistics
1m 1s
link-verifier
56s
verify-manifest
7s
proof_ci
5m 43s
Annotations
2 errors
|
verify-manifest
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_22_07_10
Expired
|
77.8 MB |
|