From a08b1ffa6951c80400c8795914b7ac6a0fa64a04 Mon Sep 17 00:00:00 2001
From: erki <erki.meinberg@gmail.com>
Date: Sun, 23 Jan 2022 16:23:56 +0000
Subject: [PATCH] 2

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e59c5cd..44fe5ce 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,5 @@
 pipeline {
-    agent docker-ubuntu
+    agent { label 'docker-ubuntu' }
 
     stage("build") {
         steps {