From 9e4f7de30728c491c2064ebbaef7fa04fdcc8ae9 Mon Sep 17 00:00:00 2001
From: "Andrea F. Daniele" <afdaniele@ttic.edu>
Date: Fri, 17 Apr 2020 19:22:26 -0500
Subject: [PATCH] removed Jenkinsfile

---
 Jenkinsfile | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 Jenkinsfile

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()
-      }
-  }
-}