Explicitly set pointer to NULL (#497) #2756
ci.yml
on: push
compiler-warnings
28s
complexity
14s
unittest
22s
coverage
33s
doxygen
23s
spell-check
1m 7s
formatting
17s
git-secrets
9s
memory_statistics
1m 3s
link-verifier
1m 6s
verify-manifest
28s
proof_ci
0s