Clang-Format and CI-CD Update #627
Skptakci.yml
on: pull_request
build-check
5s
build-code-example
6s
unittest-with-sanitizer
9s
unittest-for-coverage
21s
complexity
9s
spell-check
1m 37s
formatting
9s
git-secrets
3s
link-verifier
53s
verify-manifest
6s
doxygen
19s
memory_statistics
27s
proof_ci
1m 4s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_08_17_21_56_34
Expired
|
2.8 MB |
|