[eclipse/xtext#1424] Change default Jenkins to ci.eclipse.org

Signed-off-by: Karsten Thoms <karsten.thoms@itemis.de>
xtext · Apr 2, 2019 · 00f5391 · 00f5391
1 parent 5335f18
commit 00f5391
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -7,7 +7,7 @@ apply plugin: 'io.typefox.osspub'
 apply from: 'artifacts.gradle'
 
 if (!hasProperty('JENKINS_URL')) {
-  ext.JENKINS_URL = 'http://services.typefox.io/open-source/jenkins'
+  ext.JENKINS_URL = 'https://ci.eclipse.org/xtext'
 }
 
 def mavenSource = findProperty('mavenSource')