From 6571838263ca96993ac86609d901a0615fedbe77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Wed, 22 Mar 2023 14:47:56 +0000
Subject: [PATCH] Update .gitlab-ci.yml file

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0f13b81..0d131d1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ unsafe-test-job:
     - echo "Checking if List is still safe"
     - rustup +nightly component add miri
     - export MIRIFLAGS="-Zmiri-disable-isolation"
-    - cargo +nightly miri test
+    - cargo +nightly miri test utility::list::test
   only:
     changes:
       - "src/utility/list.rs"