diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index fa29520b5..000000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,8 +0,0 @@
-// Only run on Linux atm
-wrappedNode(label: 'docker') {
-  deleteDir()
-  stage "checkout"
-  checkout scm
-
-  documentationChecker("docs")
-}