Push event to branch master 00:04:36 Connecting to https://api.github.com using GitHub bot (username/token) Obtained .jenkins/pipelines/java-8.Jenkinsfile from 1044a3f0f95ebd84e6c169a16f512fe2027ecd07 [Pipeline] Start of Pipeline [Pipeline] node Superseded by #307 [Pipeline] // node [Pipeline] End of Pipeline org.jenkinsci.plugins.workflow.actions.ErrorAction$ErrorId: ef0641f4-566c-477f-b901-d0c6853cb0c7 GitHub has been notified of this commit’s build result Finished: NOT_BUILT