diff --git a/src/Jenkinsfile b/src/Jenkinsfile
new file mode 100644
index 000000000..e69de29bb