Started by timer
[Sat Apr 27 03:36:07 EDT 2024] Starting branch indexing...
03:36:07 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
[Sat Apr 27 03:36:09 EDT 2024] Finished branch indexing. Indexing took 2.5 sec
Finished: SUCCESS