CI Checks

Remove instances of <DEVELOPMENT BRANCH> #646

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
git-secrets	8s
link-verifier	9m 6s
memory_statistics	34s
complexity	7s
unittest	40s
proof_ci	16m 9s
doxygen	16s
formatting	14s
verify-manifest	13s
spell-check	1m 26s
	28m 53s