From 2a3f5d10517f0b71f99b0bc7ca56dbd0c034630f Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Thu, 6 Jun 2019 20:40:11 +0200
Subject: [PATCH] prevent optional job duplication

---
 .gitlab-ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7012b72a3..ca7e00fea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -166,9 +166,12 @@ release-clang-8:
     paths:
       - build/coverage-report.tar.gz
 
-coverage: # special manual job to run after normal pipeline finished 
+coverage: # special manual job to run after normal pipeline on branch finished 
   <<: *coverage_job
   when: manual    
+  except:
+    refs:
+      - master
 
 coverage_master: # special job to run on master banch changes
   <<: *coverage_job
-- 
GitLab