CI Checks

Add artifact backup action #791

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	15s
unittest	29s
proof_ci	6m 48s
verify-manifest	8s
doxygen	19s
formatting	1s
spell-check	2m 31s
custom-standard-c-headers	16s
git-secrets	5s
memory_statistics	36s
link-verifier	1m 6s
	12m 34s