Started by timer
[Tue May 14 12:53:09 EDT 2024] Starting branch indexing...
Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/tm4e

  Checking branches...

  Getting remote branches...

    Checking branch main

  Getting remote pull requests...
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: main (still at 693b2c195aadc7ef8ba2f778141b6af6a661aaaf)

  1 branches were processed

  Checking pull-requests...

  0 pull requests were processed

Finished examining eclipse/tm4e

[Tue May 14 12:53:10 EDT 2024] Finished branch indexing. Indexing took 0.99 sec
Finished: SUCCESS