feat(ci): add docker tool configuration to Jenkins pipeline

This commit is contained in:
Martin Tahiraj
2026-04-08 15:10:52 +02:00
parent fdd336fe6e
commit 6cfb9df309

4
ci/Jenkinsfile vendored
View File

@@ -108,6 +108,10 @@ pipeline {
// se la credenziale non esiste, prima ancora che giri qualsiasi stage. // se la credenziale non esiste, prima ancora che giri qualsiasi stage.
} }
tools {
dockerTool 'docker'
}
options { options {
disableConcurrentBuilds() disableConcurrentBuilds()
timestamps() timestamps()