Started by timer [Sun May 05 21:06:09 EDT 2024] Starting branch indexing... 21:06:10 Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse/org.eclipse.emf.diffmerge.patterns Checking branches... Getting remote branches... Checking branch 0.11.x Getting remote pull requests... ‘Jenkinsfile’ not found Does not meet criteria Checking branch master ‘Jenkinsfile’ found Met criteria No changes detected: master (still at 139ab9662b6f7aab4e2f725da1705cacf6f02088) Checking branch masterx ‘Jenkinsfile’ found Met criteria No changes detected: masterx (still at 38d8e0e8f920da9606f2fd3118e1fa386a6adc47) Checking branch v0.13.x ‘Jenkinsfile’ not found Does not meet criteria 4 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining eclipse/org.eclipse.emf.diffmerge.patterns [Sun May 05 21:06:11 EDT 2024] Finished branch indexing. Indexing took 1.4 sec Finished: SUCCESS