Skip to content
[Jenkins]Jenkins
log in
Started 5 yr 1 mo ago
Took 1 min 55 sec

#49 (Apr 3, 2019, 4:38:16 AM)

Changes
  1. [eclipse/xtext#1424] Change default Jenkins to ci.eclipse.org (details / githubweb)

Started by user Karsten Thoms

Revision: 8a1b7ffda7e34a0c40b1e98b1625064a918c6d14
Repository: https://github.com/xtext/publishing.git
  • origin/master
Parameters
ORG_GRADLE_PROJECT_OSSPUB_VERSION
The Xtext version (e.g. 2.13.0.RC1)
ORG_GRADLE_PROJECT_OSSPUB_BRANCH
The branch name from which to fetch the artifacts (e.g. milestone_2.13.0.RC1)