Update jenkins tools in pipeline.

2020-01-18 15:11:07 +01:00
parent 16471e9962
commit 78dd79f792
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'
-        jdk 'OpenJdk-11.0.2'
+        maven 'Maven-3.6.0'
+        jdk 'OpenJdk-11.0.4'
    }

    environment {