Merge branch 'master' of github.com:jenkinsci/favorite-plugin into to…

…pic/JENKINS-44579
jenkinsci · Jun 1, 2017 · 99242aa · 99242aa
2 parents c93afd5 + 93d5be5
commit 99242aa
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,15 @@
+pipeline {
+  agent {
+    docker {
+      image 'maven'
+    }
+
+  }
+  stages {
+    stage('Build') {
+      steps {
+        sh 'mvn clean install'
+      }
+    }
+  }
+}