[V1.5.0] Update changelog, version numbers and .md files for release … #392

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	8s
doxygen	14s
formatting	7s
spell-check	46s
unittest	35s
git-secrets	4s
link-verifier	39s
memory_statistics	29s
proof_ci	0s
verify-manifest	4s
	3m 6s