From 745903ea306ffd7f45aafee28e7c2cc7ed4252af Mon Sep 17 00:00:00 2001
From: Mathis Randl <mathis.randl@epfl.ch>
Date: Tue, 28 Jan 2025 11:04:59 +0100
Subject: [PATCH] =?UTF-8?q?attempt=201=20at=20fixing=20ci=20'=C3=A0=20tato?=
 =?UTF-8?q?ns'?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9ce6295..bcccd2e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,7 +6,7 @@ run-tests-release:
     - cd core
     - rustc --version && cargo --version
     - cargo test --release --verbose
-    - cargo valgrind test --release --verbose
+    - cargo valgrind test --release --verbose --errors-for-leak-kinds=definite
 
 run-tests-debug:
   needs: []
@@ -14,7 +14,7 @@ run-tests-debug:
     - cd core
     - rustc --version && cargo --version
     - cargo test --verbose
-    - cargo valgrind test --verbose
+    - cargo valgrind test --verbose --errors-for-leak-kinds=definite
 
 clippy:
   needs: []
-- 
GitLab