CI-CD-Updates #511
Skptakci.yml
on: pull_request
unittest
42s
complexity
11s
doxygen
30s
spell-check
1m 23s
formatting
15s
git-secrets
8s
memory_statistics
57s
link-verifier
1m 21s
verify-manifest
9s
proof_ci
15m 28s
Annotations
1 error
|
spell-check
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_09_02_23_27_18
Expired
|
66.6 MB |
|