Clang-Format and CI-CD Update #488
ci.yml
on: pull_request
unittest
37s
recursive-unit-test
41s
complexity
11s
doxygen
19s
spell-check
1m 23s
formatting
19s
git-secrets
5s
memory_statistics
40s
link-verifier
1m 6s
proof_ci
19m 32s
Annotations
3 errors
formatting
Process completed with exit code 1.
|
formatting
Process completed with exit code 1.
|
proof_ci
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_08_17_17_38_40
Expired
|
22.5 MB |
|
formattingChanges
Expired
|
1.66 KB |
|