diff --git a/jenkinsfile b/jenkinsfile new file mode 100644 index 00000000..1d085cac --- /dev/null +++ b/jenkinsfile @@ -0,0 +1 @@ +**