diff --git a/Jenkinsfile b/Jenkinsfile new file mode 100644 index 000000000..a229fa517 --- /dev/null +++ b/Jenkinsfile @@ -0,0 +1 @@ +buildPlugin()