Use the mainline CBMC proof actions #80
Skptakci.yml
on: push
unittest
17s
build-with-default-config
6s
complexity
10s
doxygen
13s
spell-check
51s
formatting
7s
git-secrets
4s
memory_statistics
28s
link-verifier
35s
verify-manifest
10s
proof_ci
0s
Annotations
1 error
|
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
formattingChanges
Expired
|
26.9 KB |
|