Explicitly set pointer to NULL #4
ci.yml
on: push
compiler-warnings
18s
complexity
14s
unittest
33s
coverage
34s
doxygen
17s
spell-check
46s
formatting
15s
git-secrets
6s
memory_statistics
52s
link-verifier
1m 7s
verify-manifest
32s
proof_ci
0s