removed memory sanitizer

2018-07-31 15:47:29 +02:00 · 2018-07-31 15:47:29 +02:00 · e03fd9fd88
parent 8e7100b367
commit e03fd9fd88
1 changed files with 0 additions and 7 deletions
--- 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: