Push event to branch master 00:04:50 Connecting to https://api.github.com using GitHub bot (username/token) Obtained .jenkins/pipelines/java-8.Jenkinsfile from a86a652a0ce670115e1bedaf5940c30ff45fff18 [Pipeline] Start of Pipeline [Pipeline] node Superseded by #308 [Pipeline] // node [Pipeline] End of Pipeline org.jenkinsci.plugins.workflow.actions.ErrorAction$ErrorId: 300ed25e-310e-4312-adc7-275edf701444 GitHub has been notified of this commit’s build result Finished: NOT_BUILT