Clang-Format and CI-CD Update #803
Skptakci.yml
on: pull_request
unittest
37s
complexity
9s
doxygen
16s
spell-check
2m 2s
formatting
32s
ssot-check
4s
git-secrets
5s
memory_statistics
49s
link-verifier
39s
verify-manifest
10s
proof_ci
3m 53s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_08_21_03_03_46
Expired
|
13.1 MB |
|