MISRA fixes #717
bradleysmith23ci.yml
on: pull_request
unittest
19s
complexity
9s
doxygen
14s
spell-check
1m 44s
formatting
10s
git-secrets
4s
custom-standard-c-headers
11s
memory_statistics
29s
link-verifier
37s
verify-manifest
6s
proof_ci
3m 41s
Annotations
1 error
|
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreJSON_2023_12_11_18_38_10
Expired
|
18.2 MB |
|
|
formattingChanges
Expired
|
583 Bytes |
|