Started by user Florian Waibel
[Wed Sep 20 18:18:17 EDT 2023] Starting branch indexing...
18:18:17 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse-gemini/gemini.management
Checking branches...
Getting remote branches...
Checking branch master
Getting remote pull requests...
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch 1.0.x
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch add-github-action
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch add-jenkins-build
‘Jenkinsfile’ found
Met criteria
No changes detected: add-jenkins-build (still at ceeeedf2a8a7e0b23e2b4b136e15e7c19074e190)
Checking branch tycho_0_18_0
‘Jenkinsfile’ not found
Does not meet criteria
Checking branch tycho_0_26_0
‘Jenkinsfile’ not found
Does not meet criteria
6 branches were processed
Checking pull-requests...
0 pull requests were processed
Finished examining eclipse-gemini/gemini.management
[Wed Sep 20 18:18:19 EDT 2023] Finished branch indexing. Indexing took 1.4 sec
Finished: SUCCESS