Use the mainline CBMC proof actions #88
Skptakci.yml
on: push
unittest
17s
complexity
9s
doxygen
12s
spell-check
53s
formatting
8s
git-secrets
7s
memory_statistics
30s
link-verifier
30s
verify-manifest
6s
proof_ci
0s
Annotations
1 error
|
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formattingChanges
Expired
|
14.9 KB |
|