Solution: run Valgrind only on the default Linux build to avoid increasing the runtime.
Attach a file by drag & drop or click to upload
