CI Checks

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unit-tests	2m 21s
system-tests	1m 14s
unit-tests-with-sanitizer	1m 42s
complexity	17s
doxygen	1m 2s
verify-manifest	10s
link-verifier	13m 44s
git-secrets	7s
spell-check	1m 49s
formatting	44s
memory_statistics	1m 9s
proof_ci	-1s
	24m 18s