CI Checks

Add artifact backup action #744

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-code-example	5s
unittest-for-coverage	1m 59s
build-check	20s
unittest-with-sanitizer	11s
complexity	22s
spell-check	2m 23s
link-verifier	3m 12s
verify-manifest	8s
proof_ci	2m 18s
doxygen	29s
formatting	1m 28s
git-secrets	6s
memory_statistics	35s
	13m 36s