From f0a67bf4ea6fa7652e476d90795b5c1da46112cd Mon Sep 17 00:00:00 2001
From: Francia Csaba <cf@gerhardt.io>
Date: Wed, 13 Dec 2023 14:52:13 +0100
Subject: [PATCH] Added docker to tools

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index eb30ed1..2c7dcb7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,9 @@ pipeline {
         image 'python:3'
       }
     }
+    tools {
+        'org.jenkinsci.plugins.docker.commons.tools.DockerTool' 'docker'
+    }
     stages {
         stage('Check python version') {
             steps {