Clang-Format and CI-CD Update #1409
Skptakci.yml
on: pull_request
unittest
22s
complexity
12s
doxygen
18s
spell-check
2m 7s
formatting
16s
git-secrets
3s
custom-standard-c-headers
15s
memory_statistics
40s
link-verifier
1m 13s
verify-manifest
7s
proof_ci
26m 44s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreMQTT_2023_08_21_02_36_58
Expired
|
25.4 MB |
|