From e0e92fea3ac633ff0742b4399ecd38af9b796b30 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 15:18:20 +0100
Subject: [PATCH] :green_heart: Updated CI to test safety of list mod

---
 .gitlab-ci.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4955953..0f13b81 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,9 +10,21 @@ unit-test-job:
     - echo "Running unit tests..."
     - cargo test
 
+unsafe-test-job:
+  stage: test
+  script:
+    - echo "Checking if List is still safe"
+    - rustup +nightly component add miri
+    - export MIRIFLAGS="-Zmiri-disable-isolation"
+    - cargo +nightly miri test
+  only:
+    changes:
+      - "src/utility/list.rs"
+
 lint-test-job:
   only:
-    - merge_requests
+    refs:
+      - merge_requests
   stage: test
   script:
     - echo "Linting code..."