Started by timer [Mon Jun 10 22:04:10 EDT 2024] Starting branch indexing... Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse/nebula Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at 1d505cebcf0f5040b0dbe60e3145182fe8b644ec) Checking branch Bug_547732_Grid_TextUtils ‘Jenkinsfile’ not found Does not meet criteria Checking branch Bug_561074_-_Simplify_dispatcher_usage ‘Jenkinsfile’ not found Does not meet criteria 3 branches were processed Checking pull-requests... Checking pull request #599 ‘Jenkinsfile’ found Met criteria No changes detected: PR-599 (still at 30a9e343c6b2c983e6c0dda88419bf39efcc5123) Checking pull request #598 (not from a trusted source) ‘Jenkinsfile’ found Met criteria No changes detected: PR-598 (still at 434d55d63d2f33c3ad0579562454cb6ced63f81c) Checking pull request #583 (not from a trusted source) ‘Jenkinsfile’ found Not mergeable, but will be built anyway Met criteria No changes detected: PR-583 (still at c2803065e9c8c9748b5f19c66dcfea86cbb96895) 3 pull requests were processed Finished examining eclipse/nebula [Mon Jun 10 22:04:13 EDT 2024] Finished branch indexing. Indexing took 3 sec Finished: SUCCESS