From 65d0f57234b77a5e5a4a1f85cd5c36dd56f2fbe3 Mon Sep 17 00:00:00 2001
From: "Olivier J.N. Bertrand" <olivier.bertrand@uni-bielefeld.de>
Date: Wed, 16 May 2018 18:56:56 +0200
Subject: [PATCH] Fix coverage bug in pipeline

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 000fdef..bbc3a1d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,7 +42,7 @@ coverage:
     stage: test
     script:
         - pip3 install --user nose
-	- pip3 install --user coverage
+        - pip3 install --user coverage
         - python3 -m nose -c .noserc -q --cover-html-dir=build --cover-html
         - python3 -m coverage report -m
     coverage: '/TOTAL.+ ([0-9]{1,3}%)/'
-- 
GitLab