diff --git a/Jenkinsfile b/Jenkinsfile index 5ac816f87a..39180a8069 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -149,7 +149,7 @@ pipeline { axes { axis { name 'JOB_ID' - values 0 1 2 3 4 + values 0, 1, 2, 3, 4 } }