From 1b2cbb6afd857ac8077aa8a41c59daa98a75bef1 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Wed, 12 Apr 2023 22:19:57 +0200
Subject: [PATCH] ensure docs are published on a web agent

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 50421f1..2548d66 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,13 +16,18 @@ pipeline {
     stage('Document') {
       steps {
         sh 'dotnet cake --target Document --branch ' + env.BRANCH_NAME
+        stash includes: 'Docs/_site/**', name: 'site'
       }
     }
     stage('Publish Docs') {
+      agent {
+          label 'web'
+      }
       when {
         branch 'release'
       }
       steps {
+        unstash 'site'
         sh 'rm -rf /var/www/MLEM/*'
         sh 'cp Docs/_site/** /var/www/MLEM/ -r'
       }