Clang-Format and CI-CD Update #1407
Skptakci.yml
on: pull_request
unittest
24s
complexity
11s
doxygen
19s
spell-check
1m 18s
formatting
14s
git-secrets
3s
custom-standard-c-headers
5s
memory_statistics
39s
link-verifier
54s
verify-manifest
5s
proof_ci
26m 15s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreMQTT_2023_08_20_20_10_39
Expired
|
25.4 MB |
|