Remove version numbers from headers. Add library version define. (#180) #803
jasonpcarrollci.yml
on: push
unittest
32s
complexity
9s
doxygen
29s
spell-check
1m 17s
formatting
14s
git-secrets
7s
custom-standard-c-headers
7s
memory_statistics
36s
link-verifier
41s
verify-manifest
9s
proof_ci