Clang-Format and CI-CD Update #489
Skptak
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
unittest
43s
recursive-unit-test
32s
complexity
11s
doxygen
18s
spell-check
1m 21s
formatting
13s
git-secrets
5s
memory_statistics
42s
link-verifier
55s
verify-manifest
8s
proof_ci
22m 15s
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_56_47
Expired
|
22.5 MB |
|
|
formattingChanges
Expired
|
1.66 KB |
|