CI-CD-Updates #512
Skptakci.yml
on: pull_request
unittest
42s
complexity
11s
doxygen
16s
spell-check
46s
formatting
14s
git-secrets
6s
memory_statistics
43s
link-verifier
1m 28s
verify-manifest
7s
proof_ci
16m 29s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_09_03_01_15_50
Expired
|
66.6 MB |
|