[v3.1.0] Update changelog, version numbers and .md files for release #909

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	17s
unittest	20s
doxygen	1m 2s
formatting	8s
git-secrets	3s
link-verifier	39s
memory_statistics	32s
spell-check	52s
ssot-check	4s
proof_ci	3m 6s
verify-manifest	6s
	7m 9s