CI-CD Updates #637
Skptakci.yml
on: pull_request
build-check
6s
build-code-example
4s
unittest-with-sanitizer
10s
unittest-for-coverage
22s
complexity
16s
spell-check
51s
formatting
11s
git-secrets
8s
link-verifier
1m 3s
verify-manifest
5s
doxygen
14s
memory_statistics
33s
proof_ci
3m 42s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_09_01_16_37_25
Expired
|
2.78 MB |
|