From 2f4815a1aef44cf58385cdcd888daf1e9ea38fa5 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 2 Jun 2017 14:26:21 +0200
Subject: [PATCH] [Jenkins] Disabled ctest_coverage_cobertura as it takes a
long time.
---
scripts/jenkins/coverage.groovy | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/jenkins/coverage.groovy b/scripts/jenkins/coverage.groovy
index fee07fea5df..268f7fa9f7b 100644
--- a/scripts/jenkins/coverage.groovy
+++ b/scripts/jenkins/coverage.groovy
@@ -13,7 +13,7 @@ image.inside(defaultDockerArgs) {
stage('Build (Coverage)') {
build.linux(
script: this,
- target: 'testrunner_coverage_cobertura ctest_coverage_cobertura'
+ target: 'testrunner_coverage_cobertura'
)
}
}
--
GitLab