CI Checks

Update CHANGELOG with all PRs since v3.3.0 (#185) #814

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	20s
formatting	14s
custom-standard-c-headers	6s
doxygen	20s
spell-check	1m 25s
verify-manifest	8s
memory_statistics	33s
link-verifier	3m 13s
git-secrets	4s
complexity	10s
proof_ci	-1s
	6m 32s