CI-CD Updates #815
Skptakci.yml
on: pull_request
unittest
50s
complexity
10s
doxygen
26s
spell-check
1m 15s
formatting
14s
ssot-check
34s
git-secrets
7s
memory_statistics
38s
link-verifier
42s
verify-manifest
12s
proof_ci
2m 45s
Annotations
1 error
|
ssot-check
The process '/usr/bin/git' failed with exit code 1
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2023_09_05_21_34_42
Expired
|
13 MB |
|