Started by timer [Thu May 16 21:04:06 EDT 2024] Starting branch indexing... 21:04:07 Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse-jdt/eclipse.jdt.core.binaries Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at 79101b0c09910ab0c1fc3b19446b9a176b196916) Checking branch R3_7_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R3_8_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_10_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_11_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_12_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_13_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_14_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_15_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_16_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_17_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_18_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_19_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_20_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_21_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_22_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_23_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_24_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_25_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_26_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_27_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_28_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_29_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_30_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_31_maintenance ‘Jenkinsfile’ found Met criteria No changes detected: R4_31_maintenance (still at 0e96eca5cc1a6ad45663747c0b02c55c030e63cd) Checking branch R4_3_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_4_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_5_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_6_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_7_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_8_maintenance ‘Jenkinsfile’ not found Does not meet criteria Checking branch R4_9_maintenance ‘Jenkinsfile’ not found Does not meet criteria 32 branches were processed Checking pull-requests... 0 pull requests were processed Finished examining eclipse-jdt/eclipse.jdt.core.binaries [Thu May 16 21:04:11 EDT 2024] Finished branch indexing. Indexing took 4.5 sec Finished: SUCCESS