CI Checks

[V4.2.5] Fix Buffer Over-read (CWE-126), Null Pointer Dereference (CW… #6996

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 43s
formatting	31s
unittest	6m 20s
spell-check	3m 41s
complexity	25s
build-checks	1m 23s
git-secrets	5s
verify-manifest	17s
link-verifier	15m 2s
proof_ci	0s
	29m 27s