Push event to branch master 02:30:24 Connecting to https://api.github.com using GitHub bot (username/token) Obtained .jenkins/pipelines/javadoc.Jenkinsfile from 493fa5adc6456d6f883e377c2f628a4a63cc0136 [Pipeline] Start of Pipeline [Pipeline] node Still waiting to schedule task Waiting for next available executor Superseded by #315 [Pipeline] // node [Pipeline] End of Pipeline org.jenkinsci.plugins.workflow.actions.ErrorAction$ErrorId: 1e357b3c-efde-461a-86d1-36cd3feffa6a GitHub has been notified of this commit’s build result Finished: NOT_BUILT