Started by timer [Fri Feb 16 03:43:10 EST 2024] Starting branch indexing... 03:43:11 Connecting to https://api.github.com using GitHub bot (username/token) Examining eclipse/sprotty Checking branches... Getting remote branches... Checking branch master Getting remote pull requests... ‘Jenkinsfile’ found Met criteria No changes detected: master (still at e171c12b48a16de14cafa69cba3b86a7dcaaa279) Checking branch cleanup-action-definitons ‘Jenkinsfile’ found Met criteria No changes detected: cleanup-action-definitons (still at ba643b222c5922fbd6d639e1ac7e331fd4405d83) Checking branch dh/test-392-random-graph ‘Jenkinsfile’ found Met criteria No changes detected: dh/test-392-random-graph (still at 35e0ddb25b815a4b5215896090a9cb026705e0c3) Checking branch fix-snabbdom Checking branch gfontorbe/flowchart-library Checking branch tortmayr/button-handler-rebind ‘Jenkinsfile’ found Met criteria No changes detected: tortmayr/button-handler-rebind (still at 751562817ac3dab59486ac6ed79de557eb2d723f) Checking branch tortmayr/test ‘Jenkinsfile’ found Met criteria No changes detected: tortmayr/test (still at dd0d8b2bc8e6c8c9c2efc4ab3fbc1f8499e4d164) 7 branches were processed Checking pull-requests... Checking pull request #429 ‘Jenkinsfile’ found Met criteria No changes detected: PR-429 (still at c1f5512301679e7d74e982660215cdfffc12d9e7+e171c12b48a16de14cafa69cba3b86a7dcaaa279 (ec83265895ddb4093cd0d98789856d049d51677d)) Checking pull request #423 ‘Jenkinsfile’ found Met criteria No changes detected: PR-423 (still at a025a754a245e702d3acaecda53504bcceab9170+e171c12b48a16de14cafa69cba3b86a7dcaaa279 (80cefecc60ba8147b171381aa9cba6f63bb86e94)) 2 pull requests were processed Finished examining eclipse/sprotty [Fri Feb 16 03:43:13 EST 2024] Finished branch indexing. Indexing took 2.4 sec Finished: SUCCESS