From 173230d402bc7b1547223898ed32665c521bc103 Mon Sep 17 00:00:00 2001 From: LukasK13 Date: Mon, 17 Aug 2020 16:55:01 +0200 Subject: [PATCH] Copy docs to webroot --- Jenkinsfile | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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' }