CI Checks

[v3.1.1] Update changelog, version numbers and .md files for release #915

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1s
doxygen	14s
unittest	21s
unittest	21s
complexity	8s
complexity	8s
formatting	7s
formatting	7s
git-secrets	4s
git-secrets	4s
link-verifier	37s
link-verifier	37s
memory_statistics	32s
memory_statistics	32s
spell-check	54s
spell-check	54s
ssot-check	4s
ssot-check	4s
verify-manifest	6s
verify-manifest	6s
proof_ci	3m 28s
proof_ci	3m 28s
	12m 57s