From 6cfb9df3091f910cba614489597bdacbcd0f5eb0 Mon Sep 17 00:00:00 2001
From: Martin Tahiraj <Martin.Tahiraj@it.ey.com>
Date: Wed, 8 Apr 2026 15:10:52 +0200
Subject: [PATCH] feat(ci): add docker tool configuration to Jenkins pipeline

---
 ci/Jenkinsfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index bc6d3be..cd86fed 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -108,6 +108,10 @@ pipeline {
         // se la credenziale non esiste, prima ancora che giri qualsiasi stage.
     }
 
+    tools {
+        dockerTool 'docker'
+    }
+
     options {
         disableConcurrentBuilds()
         timestamps()