From b9a08544e9cdb5b6a434adbc69dbb2b3aa7e04f7 Mon Sep 17 00:00:00 2001
From: Nodeduino <lj.moritorii@web.de>
Date: Sat, 18 Nov 2017 21:43:27 +0100
Subject: [PATCH] Add a step for publishing the state of build to github

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c50e865..3596789 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -46,6 +46,10 @@ 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