Issue #224 - Try 'migration' agent

Signed-off-by: Mickael Istria <mistria@redhat.com>
eclipse · Sep 9, 2019 · a12c5e4 · a12c5e4
1 parent 856e6be
commit a12c5e4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-	agent migration
+	agent {
+		label 'migration'
+	}
 	options {
 		buildDiscarder(logRotator(numToKeepStr:'10'))
 	}