CI Checks

Remove version numbers from source files and add library version macro. #954

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	8s
git-secrets	5s
formatting	12s
doxygen	57s
spell-check	1m 3s
memory_statistics	34s
unittest	36s
proof_ci	3m 10s
link-verifier	2m 24s
verify-manifest	13s
ssot-check	5s
	9m 27s