From f0b19d953007d1b55a07ce051709bfa1b85b1601 Mon Sep 17 00:00:00 2001
From: Nodeduino <lj.moritorii@web.de>
Date: Sat, 18 Nov 2017 21:55:32 +0100
Subject: [PATCH] remove publish state, because it is actually not needed

---
 Jenkinsfile | 4 ----
 1 file changed, 0 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 3596789..c50e865 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -46,10 +46,6 @@ timestamps {
             warnings canComputeNew: false, canResolveRelativePaths: false, categoriesPattern: '', defaultEncoding: '', excludePattern: '', healthy: '', includePattern: '', messagesPattern: '', parserConfigurations: [[parserName: 'GNU C Compiler 4 (gcc)', pattern: 'build/buildlog.txt']], unHealthy: ''
             sh returnStatus: true, script: 'rm build/buildlog.txt'
         }
-        stage('Publish state')
-        {
-            step([$class: 'GitHubCommitStatusSetter', statusResultSource: [$class: 'ConditionalStatusResultSource', results: []]])
-        }
     }
 
 }
--
libgit2 0.21.4