Update the README, delete duplicate CONTRIBUTING.md #78
ci.yml
on: push
unittest
16s
complexity
11s
doxygen
27s
spell-check
1m 20s
formatting
15s
git-secrets
5s
memory_statistics
42s
link-verifier
43s
verify-manifest
8s
proof_ci
0s