CI Checks

[v3.6.2] Update changelog, version numbers and .md files for release … #1005

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	12s
doxygen	15s
complexity	9s
git-secrets	4s
link-verifier	49s
memory_statistics	1m 18s
proof_ci	0s
spell-check	55s
system-tests	1m 26s
unit-tests	1m 28s
unit-tests-with-sanitizer	1m 44s
verify-manifest	6s
	8m 26s