Clang-Format and CI-CD Update #629
Skptakci.yml
on: pull_request
build-check
6s
build-code-example
5s
unittest-with-sanitizer
13s
unittest-for-coverage
25s
complexity
7s
spell-check
1m 57s
formatting
13s
git-secrets
3s
link-verifier
45s
verify-manifest
7s
doxygen
25s
memory_statistics
25s
proof_ci
1m 24s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_08_20_21_05_56
Expired
|
2.8 MB |
|