Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Making minor changes Jmh_Jenkinsfile

This commit is contained in:
Joakim Erdfelt 2019-02-27 09:11:58 -05:00
parent 3a7dee0e18
commit b33f6f3c10
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Jmh_Jenkinsfile
View File

@ -1,6 +1,6 @@
#!groovy #!groovy
def branch = params.get("JETTY_BRANCH" ,"jetty-9.4.x") def branch = params.get("JETTY_BRANCH" ,"jetty-10.0.x")
def owner = params.get("REPO_OWNER", "eclipse") def owner = params.get("REPO_OWNER", "eclipse")
node("linux") { node("linux") {
@ -26,7 +26,7 @@ node("linux") {
timeout(time: 15, unit: 'MINUTES') { timeout(time: 15, unit: 'MINUTES') {
withMaven( withMaven(
maven: mvnName, maven: mvnName,
jdk: "jdk8", jdk: "jdk11",
publisherStrategy: 'EXPLICIT', publisherStrategy: 'EXPLICIT',
globalMavenSettingsConfig: settingsName, globalMavenSettingsConfig: settingsName,
mavenOpts: mavenOpts, mavenOpts: mavenOpts,