CI-CD Updates #816
Skptakci.yml
on: pull_request
unittest
33s
complexity
18s
doxygen
15s
spell-check
46s
formatting
11s
ssot-check
4s
git-secrets
7s
memory_statistics
45s
link-verifier
49s
verify-manifest
14s
proof_ci
3m 20s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_09_05_21_43_09
Expired
|
13 MB |
|