Started by timer
[Thu May 23 13:51:09 EDT 2024] Starting branch indexing...
13:51:09 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
[Thu May 23 13:51:10 EDT 2024] Finished branch indexing. Indexing took 1.6 sec
Finished: SUCCESS