CI-CD Updates #814
Skptakci.yml
on: pull_request
unittest
23s
complexity
8s
doxygen
23s
spell-check
1m 15s
formatting
11s
ssot-check
4s
git-secrets
4s
memory_statistics
48s
link-verifier
45s
verify-manifest
8s
proof_ci
2m 22s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_09_05_21_00_06
Expired
|
13 MB |
|