CI-CD-Updates #506
Skptakci.yml
on: pull_request
unittest
35s
complexity
12s
doxygen
23s
spell-check
55s
formatting
15s
git-secrets
4s
memory_statistics
48s
link-verifier
1m 3s
verify-manifest
8s
proof_ci
13m 51s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_08_31_21_33_00
Expired
|
66.6 MB |
|