CI-CD Updates #809
Skptakci.yml
on: pull_request
unittest
30s
complexity
12s
doxygen
18s
spell-check
56s
formatting
12s
ssot-check
4s
git-secrets
3s
memory_statistics
39s
link-verifier
48s
verify-manifest
16s
proof_ci
3m 37s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_09_01_16_38_30
Expired
|
13 MB |
|