CI-CD Updates #642
Skptakci.yml
on: pull_request
build-check
15s
build-code-example
10s
unittest-with-sanitizer
18s
unittest-for-coverage
20s
complexity
17s
spell-check
1m 4s
formatting
11s
git-secrets
12s
link-verifier
1m 12s
verify-manifest
8s
doxygen
22s
memory_statistics
27s
proof_ci
38s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreSNTP_2023_09_05_20_57_00
Expired
|
2.78 MB |
|