diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index c30127a8d..000000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,3 +0,0 @@
-pipeline {
-    agent any
-}