diff --git a/.ci/jenkins/Jenkinsfile.tools.update-jenkins-dependencies b/.ci/jenkins/Jenkinsfile.tools.update-jenkins-dependencies
index dc18d65fcd..9c7e202563 100644
--- a/.ci/jenkins/Jenkinsfile.tools.update-jenkins-dependencies
+++ b/.ci/jenkins/Jenkinsfile.tools.update-jenkins-dependencies
@@ -10,9 +10,11 @@ branchCreated = false
 
 pipeline {
     agent {
-        image env.AGENT_DOCKER_BUILDER_IMAGE
-        args env.AGENT_DOCKER_BUILDER_ARGS
-        label util.avoidFaultyNodes('ubuntu')
+        docker {
+            image env.AGENT_DOCKER_BUILDER_IMAGE
+            args env.AGENT_DOCKER_BUILDER_ARGS
+            label util.avoidFaultyNodes('ubuntu')
+        }
     }
 
     options {