Add a Jenkinsfile so https://ci.jenkins.io/ will build us.

As per advice from #jenkins irc channel, we need a "Jenkinsfile" in order for the automatic builds to happen on the Jenkins CI. Until that is done, we don't get automatic builds of pull requests.
jenkinsci · Jun 28, 2017 · 5b0ea26 · 5b0ea26
1 parent 2a4b61c
commit 5b0ea26
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()