Skip to content

Improve Jenkinsfiles: random project selection + better UI information

Boris Baldassari requested to merge dev into main

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent