Started by timer [Fri Apr 26 09:17:08 EDT 2024] Starting branch indexing... 09:17:08 Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse/tm4e Checking branches... Getting remote branches... Checking branch main Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: main (still at 8e326b4df65b8fa495a845437f81019598535de0) 1 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining eclipse/tm4e [Fri Apr 26 09:17:09 EDT 2024] Finished branch indexing. Indexing took 0.89 sec Finished: SUCCESS