Skip to content
Jenkins
log in
Dashboard
All
viatra-maintenance-2.3
#8
Parameters
Status
Changes
Console Output
View Build Information
Polling Log
Parameters
Git Build Data
Previous Build
Parameters
BUILD_TYPE
Sets the build type. CI builds are used for testing reasons only; integration builds are periodic builds; milestones are considered more-or-less stable, while releases are Eclipse.org releases with a corresponding release review.