Merge remote-tracking branch 'origin/master'

This commit is contained in:
Ellpeck 2020-02-16 15:07:59 +01:00
commit 5d94984aa5

9
Jenkinsfile vendored
View file

@ -19,5 +19,14 @@ pipeline {
}
}
stage('Publish') {
steps {
sh './gradlew publish --no-daemon'
}
}
}
environment {
local_maven = '/var/www/maven'
}
}