CI-CD Updates #811
Skptakci.yml
on: pull_request
unittest
26s
complexity
23s
doxygen
21s
spell-check
49s
formatting
9s
ssot-check
5s
git-secrets
5s
memory_statistics
53s
link-verifier
1m 6s
verify-manifest
7s
proof_ci
2m 58s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_09_02_23_15_29
Expired
|
13 MB |
|