Clang-Format and CI-CD Update #679
Skptakci.yml
on: pull_request
unittest
17s
complexity
11s
doxygen
18s
spell-check
1m 21s
formatting
8s
git-secrets
3s
custom-standard-c-headers
6s
memory_statistics
42s
link-verifier
40s
verify-manifest
8s
proof_ci
20m 54s
Annotations
1 error
|
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreJSON_2023_08_17_21_45_16
Expired
|
16.4 MB |
|