CI Checks

Update manifest.yml #639

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
memory_statistics	32s
spell-check	1m 16s
git-secrets	4s
complexity	7s
formatting	15s
proof_ci	15m 43s
unittest	37s
doxygen	16s
link-verifier	9m 53s
verify-manifest	9s
	28m 52s