Update Jenkinsfile

Zhao Xiaojie · web-flow · commit 870952a215de · 2019-07-27T11:27:13.000+08:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
   agent {
-    label 'java'
+    label 'maven'
   } 
   
   options {
