Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Eclipse Foundation
EMO Team
eclipsefdn-ort
Merge requests
!19
Improve Jenkinsfiles: random project selection + better UI information
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Boris Baldassari
requested to merge
dev
into
main
Jan 24, 2023
Overview
0
Commits
11
Changes
240
