CI Checks

[v3.6.1] Update changelog, version numbers and .md files for release #977

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unit-tests	1m 28s
unit-tests-with-sanitizer	1m 49s
complexity	27s
doxygen	26s
formatting	7s
git-secrets	7s
link-verifier	41s
memory_statistics	1m 10s
spell-check	39s
system-tests	1m 22s
verify-manifest	7s
proof_ci	8m 18s
	16m 41s