Started by timer [Thu Jun 06 09:15:10 EDT 2024] Starting branch indexing... Connecting to https://api.github.com using eclipse-releng-bot/****** (GitHub bot (username/token)) Examining eclipse-platform/eclipse.platform.releng.buildtools Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at 6a8887644e737a8eb2dbb84bd40a4608c8a916e6) Checking branch R2_1_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_0_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_1_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_3_1_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_3_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_4_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_4_maintenance_patches ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_5_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_6_1_forfoundation ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_6_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_7_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_8_eclipse ‘Jenkinsfile’ not found Does not meet criteria 13 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining eclipse-platform/eclipse.platform.releng.buildtools [Thu Jun 06 09:15:12 EDT 2024] Finished branch indexing. Indexing took 2.1 sec Finished: SUCCESS