From 5b634031952506b0976dd4fb9244caeb96d632bb Mon Sep 17 00:00:00 2001
From: RichardG867 <richardg867@gmail.com>
Date: Sat, 13 Nov 2021 13:48:43 -0300
Subject: [PATCH] Fix Jenkins pipeline typo

---
 .ci/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
 					      ]
 				}