diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index 72f8cbf6..00000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,40 +0,0 @@
-pipeline {
-  agent any
-  stages {
-    stage('Prepare') {
-      steps {
-        sh 'pip3 install --upgrade duckietown-shell'
-        sh 'dts --set-version daffy exit'
-        sh 'dts update'
-      }
-    }
-    stage('Pre-Clean') {
-      steps {
-        sh 'dts devel clean'
-      }
-    }
-    stage('Build') {
-      steps {
-        sh 'dts devel build --ci'
-      }
-    }
-    stage('Push') {
-      steps {
-        withDockerRegistry(credentialsId: 'DockerHub', url: 'https://index.docker.io/v1/') {
-          sh 'dts devel push'
-        }
-      }
-    }
-    stage('Post-Clean') {
-      steps {
-        sh 'dts devel clean'
-      }
-    }
-  }
-  post {
-      always {
-          sh 'dts devel clean'
-          cleanWs()
-      }
-  }
-}