Update build tools references.

2019-08-23 22:07:03 +02:00
parent bf297c7f16
commit 24fff28d23
1 changed files with 2 additions and 2 deletions
--- a/jenkins/Jenkinsfile-prod
+++ b/jenkins/Jenkinsfile-prod
@@ -2,8 +2,8 @@ pipeline {
    agent any
    tools {
-        maven 'Maven-3.5.0'
+        maven 'Maven-3.6.0'
-        jdk 'OpenJdk-11.0.2'
+        jdk 'OpenJdk-11.0.4'
    }
    environment {