jenkins: add Java 10 stage

2018-05-14 18:55:26 +01:00 · 2018-05-14 18:55:26 +01:00 · c822d52b3e
commit c822d52b3e
parent 4d09738cf5
1 changed files with 7 additions and 0 deletions
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@ -72,5 +72,12 @@ pipeline {
                }
            }
        }
+        stage('Build Java 10') {
+            steps {
+                withMaven(maven: 'maven', jdk: 'JDK 10') {
+                    sh "${mvn} clean verify -Djava.version=10"
+                }
+            }
+        }
    }
 }