CI-CD Updates #1419
ci.yml
on: pull_request
unittest
28s
complexity
9s
doxygen
30s
spell-check
38s
formatting
16s
git-secrets
4s
custom-standard-c-headers
10s
memory_statistics
37s
link-verifier
1m 2s
verify-manifest
4s
proof_ci
29m 17s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreMQTT_2023_09_02_01_56_02
Expired
|
25.2 MB |
|