diff --git a/Jenkinsfile b/Jenkinsfile index bcc222f..7204e06 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -2,6 +2,12 @@ pipeline { agent any stages { stage('Build') { + agent { + docker { + image 'kjarosh/latex:2024.4' + reuseNode true + } + } steps { echo 'Starting build step...' sh './scripts/build.sh'