Merge pull request #17 from olivergondza/add-jenkinsfile

Add Jenkinsfile
jenkinsci · Jul 10, 2018 · 1dd379c · 1dd379c
2 parents e3926e4 + 9037947
commit 1dd379c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,4 @@
+#!/usr/bin/env groovy
+
+/* `buildPlugin` step provided by: https://github.com/jenkins-infra/pipeline-library */
+buildPlugin()