Clang-Format and CI-CD Update #501
ci.yml
on: pull_request
unittest
43s
recursive-unit-test
31s
complexity
28s
doxygen
25s
spell-check
1m 28s
formatting
26s
git-secrets
4s
memory_statistics
52s
link-verifier
1m 20s
verify-manifest
6s
proof_ci
18m 53s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_08_21_20_54_49
Expired
|
82.4 MB |
|