CI Checks

[V4.2.5] Fix Buffer Over-read (CWE-126), Null Pointer Dereference (CWE-476) and Invalid Pointer Dereference (CWE-822) #6991

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	7m 55s
doxygen	2m 8s
link-verifier	16m 42s
complexity	32s
formatting	24s
git-secrets	4s
spell-check	3m 14s
verify-manifest	17s
proof_ci	12m 30s
build-checks	3m 15s
	47m 1s