Started by timer [Sun May 12 13:41:06 EDT 2024] Starting branch indexing... 13:41:07 Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse/org.eclipse.emf.diffmerge.coevolution Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at b2561a1b09398a503df7027fa26c28524a9a3ea0) Checking branch v0.13.x ‘Jenkinsfile’ not found Does not meet criteria 2 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining eclipse/org.eclipse.emf.diffmerge.coevolution [Sun May 12 13:41:08 EDT 2024] Finished branch indexing. Indexing took 1.1 sec Finished: SUCCESS