Started by timer
[Wed Jun 05 04:00:07 EDT 2024] Starting branch indexing...
04:00:07 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/org.eclipse.emf.diffmerge.core
Checking branches...
Getting remote branches...
Checking branch master
Getting remote pull requests...
‘Jenkinsfile’ found
Met criteria
No changes detected: master (still at a32a2913f6ec7d2f04468878f76771da51ab5208)
Checking branch masterxx
‘Jenkinsfile’ found
Met criteria
No changes detected: masterxx (still at 89a7c88e58bc86d783e64e73b5f9abe006fdf345)
Checking branch v0.1.x
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch v0.10.x
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch v0.11.x
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch v0.13.x
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch v0.4.x
‘Jenkinsfile’ not found
Does not meet criteria
7 branches were processed
Checking pull-requests...
0 pull requests were processed
Finished examining eclipse/org.eclipse.emf.diffmerge.core
[Wed Jun 05 04:00:09 EDT 2024] Finished branch indexing. Indexing took 1.4 sec
Finished: SUCCESS