Fix Jenkins pipeline typo

2021-11-13 13:48:43 -03:00
parent 95c5a52856
commit 5b63403195
1 changed files with 1 additions and 1 deletions
--- 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)
 					      ]
 				}