Started by timer [Sun May 12 10:45:06 EDT 2024] Starting branch indexing... 10:45:06 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 3e344c1ee855c1eab2004cf06610e1165fc39e5b) 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 [Sun May 12 10:45:08 EDT 2024] Finished branch indexing. Indexing took 2 sec Finished: SUCCESS