diff --git a/Jenkinsfile b/Jenkinsfile index 2ebe8b8..12c2b36 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -54,6 +54,7 @@ pipeline { } } +/* stage ('Deploy Docs') { options { timeout(time: 15, unit: "MINUTES") @@ -76,6 +77,7 @@ pipeline { } } } + */ stage ('Deploy Artifacts') { options {