CI Checks

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unit-tests-with-sanitizer	1m 37s
complexity	52s
system-tests	1m 22s
unit-tests	1m 56s
git-secrets	5s
formatting	24s
spell-check	1m 46s
memory_statistics	1m 9s
verify-manifest	9s
link-verifier	14m 45s
doxygen	1m 41s
proof_ci	0s
	25m 46s