From 1a368f87273923b643a7f7a9c8e270a8f80a95ff Mon Sep 17 00:00:00 2001
From: veenm <vanveenmel11@gmail.com>
Date: Tue, 4 Mar 2025 22:35:40 +0100
Subject: [PATCH] jenkinsFile fix

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 72a5d63..6760b32 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,7 @@ pipeline {
     tools {
         jdk 'jdk-21'
         maven 'mvn'
+        docker 'docker'
     }
     environment {
         SSH_CREDENTIALS_ID = 'ssh-true-nas'  // ID van de SSH-sleutel in Jenkins