From 4892a958fc4039df62d76358ff70465bc61f941d Mon Sep 17 00:00:00 2001
From: Georgios Jason Efstathiou <j@jason-e.dev>
Date: Sun, 22 Dec 2024 20:22:15 +0100
Subject: [PATCH] actually do that maybe?

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f040504..83a8e39 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ pipeline {
   agent any
 
   tools {
-    docker 'latest'
+    dockerTool
   }
 
   environment {