CI-CD Updates #638
Skptakci.yml
on: pull_request
build-check
4s
build-code-example
3s
unittest-with-sanitizer
9s
unittest-for-coverage
23s
complexity
6s
spell-check
51s
formatting
10s
git-secrets
4s
link-verifier
43s
verify-manifest
8s
doxygen
29s
memory_statistics
25s
proof_ci
28s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_09_02_01_25_34
Expired
|
2.78 MB |
|