Clang-Format and CI-CD Update #632
Skptakci.yml
on: pull_request
build-check
6s
build-code-example
3s
unittest-with-sanitizer
8s
unittest-for-coverage
21s
complexity
24s
spell-check
1m 39s
formatting
14s
git-secrets
5s
link-verifier
48s
verify-manifest
7s
doxygen
16s
memory_statistics
32s
proof_ci
4m 27s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_08_21_20_42_11
Expired
|
2.8 MB |
|