CI Checks

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
git-secrets	7s
doxygen	13s
complexity	20s
formatting	7s
link-verifier	48s
memory_statistics	1m 17s
proof_ci	7m 48s
spell-check	54s
system-tests	1m 15s
unit-tests	1m 26s
unit-tests-with-sanitizer	1m 34s
verify-manifest	6s
	15m 55s