Use the mainline CBMC proof actions #138
Skptakci.yml
on: push
compiler-warnings
16s
complexity
10s
unittest
23s
coverage
28s
doxygen
25s
spell-check
1m 22s
formatting
14s
git-secrets
6s
memory_statistics
1m 6s
link-verifier
59s
verify-manifest
29s
proof_ci
0s