CI-CD Updates #641
Skptakci.yml
on: pull_request
build-check
8s
build-code-example
21s
unittest-with-sanitizer
43s
unittest-for-coverage
26s
complexity
17s
spell-check
58s
formatting
18s
git-secrets
5s
link-verifier
47s
verify-manifest
13s
doxygen
20s
memory_statistics
28s
proof_ci
39s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_09_05_20_52_57
Expired
|
2.78 MB |
|