Performance and Safety Improvements #370
bradleysmith23ci.yml
on: pull_request
unittest
17s
complexity
7s
doxygen
16s
spell-check
1m 29s
formatting
8s
git-secrets
6s
memory_statistics
33s
link-verifier
36s
verify-manifest
4s
proof_ci
10m 55s
Annotations
1 error
|
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_Jobs-for-AWS-IoT-embedded-sdk_2023_12_16_17_11_17
Expired
|
18.6 KB |
|
|
formattingChanges
Expired
|
703 Bytes |
|