From 9c85c16a6ed41d3028682b50d8ec9738271560e4 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 12 Jun 2020 14:45:18 +0200
Subject: [PATCH] [Jenkins] Build container on envinf1

To enable compatibility of the build image with envinf1 itself (-march capabilities).
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1e104c9cd4c..575f89eb379 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
-- 
GitLab