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()