diff --git a/.ci/Jenkinsfile b/.ci/Jenkinsfile
index d88b823c7..4ab57bd29 100644
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@@ -89,7 +89,7 @@ pipeline {
 					      wait: false,
 					      job: it,
 					      parameters: [
-						string(name: 'BUILD_TYPE', value: BUILD_TYPE)
+						string(name: 'BUILD_TYPE', value: BUILD_TYPE),
 						string(name: 'BRANCH', value: env.GIT_COMMIT)
 					      ]
 				}