From e03fd9fd88b0a54308ed089c8d8e52e1b791ee21 Mon Sep 17 00:00:00 2001
From: Philippe-Adrien Nousse <philippe.adrien.nousse@gmail.com>
Date: Tue, 31 Jul 2018 15:47:29 +0200
Subject: [PATCH] removed memory sanitizer

---
 .gitlab-ci.yml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4002813..b5f6538 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,13 +27,6 @@ race_detector:
   script:
   - make race
 
-memory_sanitizer:
-  stage: test
-  tags:
-  - docker
-  script:
-  - make msan
-
 code_coverage:
   stage: test
   tags: