From 1fbaa96f778ed62351f1c66569402557984c510d Mon Sep 17 00:00:00 2001
From: marko-bekhta <marko.prykladna@gmail.com>
Date: Wed, 18 Dec 2024 11:18:17 +0100
Subject: [PATCH] HV-2023 Add a step to build pdf documentation to the nightly
 CI job

---
 jenkins/nightly/Jenkinsfile | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/jenkins/nightly/Jenkinsfile b/jenkins/nightly/Jenkinsfile
index 1442f3f767..66323ffbd8 100644
--- a/jenkins/nightly/Jenkinsfile
+++ b/jenkins/nightly/Jenkinsfile
@@ -90,6 +90,26 @@ pipeline {
 						}
 					}
 				}
+				stage('Build documentation PDF') {
+					agent {
+						label 'Worker&&Containers'
+					}
+					steps {
+						// The timeout cannot be in stage options, because that would
+						// include the time needed to provision a node.
+						timeout(time: 15, unit: 'MINUTES') {
+							withMavenWorkspace {
+								echo "Generate documentation and distribution packages."
+								sh """mvn clean install \
+									-Pdocumentation-pdf \
+									-DskipTests \
+									--fail-at-end \
+									-Dscan=false -Dno-build-cache
+								"""
+							}
+						}
+					}
+				}
 			}
 		}
 	}