CI-CD Updates #635
Skptakci.yml
on: pull_request
build-check
4s
build-code-example
4s
unittest-with-sanitizer
7s
unittest-for-coverage
28s
complexity
8s
spell-check
51s
formatting
13s
git-secrets
6s
link-verifier
54s
verify-manifest
6s
doxygen
23s
memory_statistics
31s
proof_ci
57s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_08_31_04_42_57
Expired
|
2.78 MB |
|