Update 'Jenkinsfile'

set label parameter
2023-01-12 16:53:12 +01:00 · 2023-01-12 16:53:12 +01:00 · 3f243cad87
parent af7526c35f
commit 3f243cad87
1 changed files with 8 additions and 1 deletions
--- a/9
+++ b/9
@ -5,7 +5,7 @@


 pipeline {
-    agent any
+    
    options {
        ansiColor('xterm')
    }
@ -40,6 +40,13 @@ pipeline {
             defaultValue: 'CI',
             description: 'Run on all nodes matching the label')                         
    }  
+    agent
+    {
+        node
+        {
+            label "${exec_label}"
+        }
+    }
    stages {
        stage('Checkout git project') {
            steps {