CI Checks

[v3.6.0] Update changelog, version numbers and .md files for release #966

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unit-tests	1m 24s
unit-tests-with-sanitizer	1m 29s
doxygen	21s
complexity	8s
link-verifier	45s
spell-check	45s
formatting	23s
system-tests	1m 16s
git-secrets	3s
memory_statistics	1m 9s
proof_ci	8m 40s
verify-manifest	7s
	16m 30s