Apply formatting bot fix #644
Skptakci.yml
on: pull_request
build-check
3s
build-code-example
6s
unittest-with-sanitizer
21s
unittest-for-coverage
27s
complexity
21s
spell-check
41s
formatting
16s
git-secrets
8s
link-verifier
47s
verify-manifest
7s
doxygen
19s
memory_statistics
26s
proof_ci
1m 36s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_09_23_01_16_41
Expired
|
2.78 MB |
|