Skip to content
Jenkins
log in
Dashboard
Xtext-master
archived
xtext-xtend
master
#3201
Parameters
Status
Changes
Console Output
View Build Information
Parameters
Timings
Pipeline Steps
Previous Build
Parameters
TARGET_PLATFORM
Which Target Platform should be used?
JDK_VERSION
Which JDK should be used?
TRIGGER_DOWNSTREAM_BUILD
Loading...
Should downstream jobs for the same branch be triggered on successful build?
![[Jenkins]](/xtext/static/98c6fa72/images/svgs/logo.svg){kind=logo}
