Started by timer
[Tue Jun 04 17:21:07 EDT 2024] Starting branch indexing...
17:21:07 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
[Tue Jun 04 17:21:08 EDT 2024] Finished branch indexing. Indexing took 1.2 sec
Finished: SUCCESS