CI-CD Updates #1421
Skptakci.yml
on: pull_request
unittest
23s
complexity
22s
doxygen
4m 20s
spell-check
1m 19s
formatting
14s
git-secrets
5s
custom-standard-c-headers
13s
memory_statistics
38s
link-verifier
1m 9s
verify-manifest
12s
proof_ci
28m 49s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreMQTT_2023_09_05_17_58_17
Expired
|
25.2 MB |
|