Started by timer
[Fri Apr 21 12:11:08 EDT 2023] Starting branch indexing...
12:11:08 Connecting to https://api.github.com using GitHub bot (username/token)
Examining eclipse/xtext-maven
Checking branches...
Getting remote branches...
Checking branch master
‘Jenkinsfile’ found
Met criteria
No changes detected: master (still at 8ee99a1201a46c7e241def12f30fc2fe623154a3)
Checking branch ade-wrong-line-delimiters-on-windows
‘Jenkinsfile’ found
Met criteria
No changes detected: ade-wrong-line-delimiters-on-windows (still at c3628df5671a2546a30ecf2e7288111262318d4e)
Checking branch cd_backup_pl
‘Jenkinsfile’ found
Met criteria
No changes detected: cd_backup_pl (still at 7e026e8b96052354079a74db0beb4d762ca9e93e)
Checking branch sz_importedNames
‘Jenkinsfile’ found
Met criteria
No changes detected: sz_importedNames (still at 27e1c311e73ac11295e1a910ca4044bdec76a5bf)
Checking branch sz_issue1005
‘Jenkinsfile’ found
Met criteria
No changes detected: sz_issue1005 (still at f54cc2596494ac73524423ce3cfd13c27d273955)
5 branches were processed
Checking pull-requests...
Getting remote pull requests...
0 pull requests were processed
Finished examining eclipse/xtext-maven
[Fri Apr 21 12:11:10 EDT 2023] Finished branch indexing. Indexing took 1.3 sec
Finished: SUCCESS