remove publish state, because it is actually not needed

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