From f4e4e1d1e949cf992e918658dc265859a1e6d2f4 Mon Sep 17 00:00:00 2001 From: Marija Stopa Date: Fri, 10 Jan 2025 11:29:57 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 2e80a6264..5535655b0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -7,6 +7,15 @@ pipeline { DOCKER_CREDENTIALS_ID = 'dockerhub-credentials' // Jenkins credential ID for Docker Hub } stages { + stage('Verify Docker Version') { + agent { + docker { image "${DOCKER_BUILD_IMAGE}" } + } + steps { + echo 'Checking Docker version...' + sh 'docker --version' + } + } stage('Checkstyle') { when { expression { env.CHANGE_ID != null } // Only run for merge requests