From 7bb59c5eb637557c194e3a9faa47b9843dbc6445 Mon Sep 17 00:00:00 2001
From: Dmitri Naumov <dmitri.naumov@ufz.de>
Date: Mon, 17 Jun 2019 15:51:56 +0200
Subject: [PATCH] Drop coverage report publishing to codecov.io.

---
 Jenkinsfile | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 812104fac61..f70eaedc93c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -242,15 +242,11 @@ pipeline {
               configure {
                 cmakeOptions =
                   "-DBUILD_SHARED_LIBS=${build_shared} " +
-                  '-DOGS_CPU_ARCHITECTURE=generic ' +
-                  '-DOGS_COVERAGE=ON '
+                  '-DOGS_CPU_ARCHITECTURE=generic '
                 config = 'Debug'
               }
               build { }
-              build { target = 'testrunner_coverage_cobertura' }
-              dir('build') {
-                sh "curl -s https://codecov.io/bash | bash -s - -f *_cobertura.xml"
-              }
+              build { target = 'tests' }
             }
           }
           post {
-- 
GitLab