Add a step for publishing the state of build to github

Nodeduino · Moritz Wirger
1 parent 337e7c80
Showing 1 changed file with 4 additions and 0 deletions
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: []]])
+        }
     }
 }