Merge pull request #2019 from joaofnfernandes/remove-jenkinsfile

Remove Jenkinsfile used for docs CI
2016-10-27 13:15:10 -07:00 · 2016-10-27 13:15:10 -07:00 · 62e88f0fe7
parent 4fb6b181cd a80821295e
commit 62e88f0fe7
1 changed files with 0 additions and 8 deletions
--- a/8
+++ b/8
@ -1,8 +0,0 @@
-// Only run on Linux atm
-wrappedNode(label: 'docker') {
-  deleteDir()
-  stage "checkout"
-  checkout scm
-
-  documentationChecker("docs")
-}