From a80821295eb6b41bd7095ed4c673b0a79a320b92 Mon Sep 17 00:00:00 2001 From: Joao Fernandes Date: Wed, 26 Oct 2016 11:55:20 -0700 Subject: [PATCH] Remove Jenkinsfile used for docs CI Signed-off-by: Joao Fernandes --- Jenkinsfile | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 Jenkinsfile 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") -}