Started by timer
[Fri May 17 17:21:10 EDT 2024] Starting branch indexing...
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

[Fri May 17 17:21:11 EDT 2024] Finished branch indexing. Indexing took 1.1 sec
Finished: SUCCESS