Merge branch 'add-coverity-test-application' of https://github.com/ch… #641

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
git-secrets	1m 15s
doxygen	2m 3s
formatting	23s
memory-statistics	2m 51s
proof_ci	0s
spell-check	1m 46s
verify-manifest	2m 28s
	10m 46s