Started by timer
[Thu May 09 03:36:07 EDT 2024] Starting branch indexing...
Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse-cbi/targetplatform-dsl

  Checking branches...

  Getting remote branches...

    Checking branch master

  Getting remote pull requests...
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: master (still at 787787007a55a93a6356162fad522ee5c2a84ba8)

    Checking branch _old/gh-pages
      ‘Jenkinsfile’ not found
    Does not meet criteria

    Checking branch _old/master
      ‘Jenkinsfile’ not found
    Does not meet criteria

  3 branches were processed

  Checking pull-requests...

    Checking pull request #156
    (not from a trusted source)
      ‘Jenkinsfile’ found
    Met criteria
No changes detected: PR-156 (still at dfdaf604ef24e0b712dcd2e48e634f539c8485f1)

  1 pull requests were processed

Finished examining eclipse-cbi/targetplatform-dsl

[Thu May 09 03:36:10 EDT 2024] Finished branch indexing. Indexing took 2.3 sec
Finished: SUCCESS