CI Checks

[AUTO][RELEASE]: Update version numbers (#187) #817

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	13s
memory_statistics	35s
formatting	14s
custom-standard-c-headers	11s
spell-check	1m 29s
verify-manifest	10s
git-secrets	5s
unittest	31s
complexity	17s
link-verifier	40s
proof_ci	0s
	4m 25s