Improve Jenkinsfiles: random project selection + better UI information

Boris Baldassarirequested to merge
dev into main

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent