diff --git a/Jenkinsfile b/Jenkinsfile
index 1e104c9cd4c0a80ae844d2d815af2a1097cb5910..575f89eb3793ed2b145c6e67f690e12f609103e0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -757,7 +757,7 @@ pipeline {
               environment name: 'JOB_NAME', value: 'ufz/ogs/master'
             }
           }
-          agent { label 'docker'}
+          agent { label 'envinf1'}
           steps {
             script {
               sh '''git submodule update --init ThirdParty/container-maker