Clang-Format and CI-CD Update #1413
ci.yml
on: pull_request
unittest
35s
complexity
9s
doxygen
22s
spell-check
1m 22s
formatting
11s
git-secrets
4s
custom-standard-c-headers
5s
memory_statistics
45s
link-verifier
55s
verify-manifest
6s
proof_ci
29m 51s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreMQTT_2023_08_21_23_43_29
Expired
|
25.4 MB |
|