Started by user Jens Reimann [Wed Feb 22 06:13:00 EST 2023] Starting branch indexing... 06:13:00 Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse/packages Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘.jenkins/Jenkinsfile’ found Met criteria Changes detected: master (08f7da9d1cca6d653a29a8c3dbc13ca0880a13db → cfbedf8bc4a2acab8365f38a66e5d9b15744e06a) Scheduled build for branch: master Checking branch develop ‘.jenkins/Jenkinsfile’ found Met criteria No changes detected: develop (still at acd468838463633dc6b68c4be4b90c8d64908fd8) 2 branches were processed Checking pull-requests... Checking pull request #444 Submitted from fork, skipping Checking pull request #416 Submitted from fork, skipping Checking pull request #415 Submitted from fork, skipping Checking pull request #404 Submitted from fork, skipping Checking pull request #376 Submitted from fork, skipping Checking pull request #314 Submitted from fork, skipping 6 pull requests were processed Finished examining eclipse/packages [Wed Feb 22 06:13:02 EST 2023] Finished branch indexing. Indexing took 1.3 sec Finished: SUCCESS