CI Checks

Update manifest.yml #637

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	8s
formatting	28s
memory_statistics	34s
git-secrets	7s
doxygen	14s
spell-check	1m 34s
link-verifier	7m 12s
proof_ci	16m 11s
unittest	36s
verify-manifest	7s
	27m 11s