From ba3cce81e8427b167e84f8d1f6798de09dafdfb7 Mon Sep 17 00:00:00 2001
From: Udo Waechter <udo@maketank.net>
Date: Fri, 20 Oct 2023 15:45:33 +0200
Subject: [PATCH] Jenkinsfile

---
 Jenkinsfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 93e092f..d5eddd1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,13 +1,13 @@
 pipeline {
-    agent none
-    stages{
-        stage("Hello"){
-   agent('nomad') {
-   
+    agent {
+         label 'nomad'
+    }
+
+    stages {
+        stage ('Hello') {
            script {
             sh "echo 'Hello World!'"   
            }
         }
     }
- }
 }