Remove version numbers from source files. (#195) #969
ci.yml
on: push
unittest
26s
complexity
9s
doxygen
15s
spell-check
1m 34s
formatting
11s
ssot-check
7s
git-secrets
5s
memory_statistics
37s
link-verifier
2m 47s
verify-manifest
9s
proof_ci
0s