Started by user Jonah Graham [Tue Jun 04 15:54:04 EDT 2024] Starting branch indexing... Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse-packaging/packages Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at 5ef5ae5bf2e37624867bab0f320633324666a183) Checking branch GALILEO Checking branch HELIOS Checking branch INDIGO Checking branch JUNO Checking branch KEPLER Checking branch LUNA Checking branch MARS Checking branch NEON Checking branch OXYGEN Checking branch bug571669 Checking branch juno38 12 branches were processed Checking pull-requests... Checking pull request #175 Submitted from fork, skipping 1 pull requests were processed Finished examining eclipse-packaging/packages [Tue Jun 04 15:54:05 EDT 2024] Finished branch indexing. Indexing took 1 sec Finished: SUCCESS