CI Checks

Add artifact backup action #633

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	43s
complexity	16s
git-secrets	6s
formatting	41s
link-verifier	11m 18s
memory_statistics	36s
doxygen	23s
verify-manifest	7s
spell-check	1m 9s
proof_ci	0s
	15m 19s