diff --git a/Jenkinsfile b/Jenkinsfile index 3491411..84ffde6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -64,6 +64,19 @@ pipeline { } } stage('Deploy Docs') { + agent { + label 'esbods' + } + steps { + // unstash build results from previous stage + unstash 'html' + // remove old files + sh 'rm -rf /var/www/html/esboetcdocs/*' + // copy new files + sh 'cp -rf docs/build/html /var/www/html/esboetcdocs/' + } + } + stage('Deploy Docs Lunjaserv') { agent { label 'lunjaserv' }