CI Checks

Add Functionality from core_jobs.c #290

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
git-secrets	7s
git-secrets	7s
formatting	10s
formatting	18s
complexity	9s
complexity	9s
doxygen	29s
doxygen	29s
link-verifier	44s
link-verifier	44s
memory_statistics	41s
memory_statistics	41s
proof_ci	3m 42s
proof_ci	3m 42s
spell-check	43s
spell-check	43s
unittest	27s
unittest	27s
verify-manifest	10s
verify-manifest	10s
	14m 52s