CI Checks

Add support for optional job document fields (#115) #31

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 2s
git-secrets	4s
formatting	8s
complexity	13s
link-verifier	7m 36s
memory_statistics	32s
spell-check	1m 10s
proof_ci	0s
unittest	36s
verify-manifest	8s
	11m 29s