CI-CD Updates #808
Skptakci.yml
on: pull_request
unittest
27s
complexity
10s
doxygen
19s
spell-check
1m 0s
formatting
14s
ssot-check
6s
git-secrets
7s
memory_statistics
45s
link-verifier
50s
verify-manifest
12s
proof_ci
3m 40s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_08_31_21_26_09
Expired
|
13 MB |
|