From b7e63991027f47b978e62a632dcdb2800914f2b4 Mon Sep 17 00:00:00 2001
From: veenm <vanveenmel11@gmail.com>
Date: Sun, 5 Jan 2025 20:51:29 +0100
Subject: [PATCH] Docker toegevoegd aan pipeline

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 18896f9..1069aa4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
 
     tools {
         nodejs "nodejs"
-        docker "docker"
+        dockerTool "docker"
     }
 
     environment {