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