From 7797c4a8e55f153e0387f16f3f8087071faa67d3 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Thu, 9 Mar 2017 15:01:15 +0100
Subject: [PATCH] [Jenkins] Fix git commit status setter by removing it.
---
Jenkinsfile | 2 --
1 file changed, 2 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 80907cab7b3..fb9a52fa3c4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -59,8 +59,6 @@ builders['docs'] = {
parallel builders
-node { step([$class: 'GitHubCommitStatusSetter']) }
-
if (currentBuild.result == "SUCCESS" || currentBuild.result == "UNSTABLE") {
if (helper.isOriginMaster(this)) {
build job: 'OGS-6/clang-sanitizer', wait: false
--
GitLab