CI-CD Updates #1423
Skptakci.yml
on: pull_request
unittest
30s
complexity
8s
doxygen
16s
spell-check
58s
formatting
15s
git-secrets
7s
custom-standard-c-headers
6s
memory_statistics
50s
link-verifier
55s
verify-manifest
6s
proof_ci
30m 46s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreMQTT_2023_09_05_21_26_55
Expired
|
25.2 MB |
|