CI Checks

Add artifact backup action #792

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	17s
unittest	31s
doxygen	1m 23s
formatting	1s
memory_statistics	31s
git-secrets	5s
verify-manifest	8s
custom-standard-c-headers	12s
spell-check	2m 11s
link-verifier	4m 8s
proof_ci	0s
	9m 27s