Re: [PATCH] Gitlab CI: remove valgrind test