CI-CD-Updates #508
Skptakci.yml
on: pull_request
unittest
40s
complexity
15s
doxygen
16s
spell-check
48s
formatting
14s
git-secrets
11s
memory_statistics
54s
link-verifier
1m 5s
verify-manifest
8s
proof_ci
18m 17s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_09_01_16_52_41
Expired
|
66.6 MB |
|