Skip to content
Jenkins
log in
Dashboard
create_redirection_index
#10
Parameters
Status
Changes
Console Output
View Build Information
Parameters
Previous Build
Parameters
RELEASE_KIND
Indicate weither this is a release or a milestone.
This will changes the destination folder on download.eclipse.org
RELEASE_NAME
Indicate the name of the release/milestone
![[Jenkins]](/gemoc/static/e6d721fe/images/svgs/logo.svg){kind=logo}
