Skip to content
Jenkins
log in
Dashboard
webtools_CI
webtools-common_master
#2958
Parameters
Status
Changes
Console Output
View as plain text
View Build Information
Polling Log
Parameters
Timings
Git Build Data
Test Result
Previous Build
Parameters
tychoVersion
MAVEN_FLAGS
CHERRY_PICKS
space-sparated list of repo+gerrit/rev #s to cherry pick (because we're often behind on gerrit reviews) eg., for https://git.eclipse.org/r/#/c/117456/ use "webtools-common/webtools.common+117456/1"