From d371820b7472785d891f978d09a91a45a6ddeccb Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@gmail.com>
Date: Sun, 23 Feb 2025 22:39:47 +0100
Subject: [PATCH] Docker als agent in jenkinsfile

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

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'