From 18ab744ab50f89f3f8e7b34db6ae6a0e94384c15 Mon Sep 17 00:00:00 2001
From: Bartosz Kuzma <bartosz.kuzma@gmail.com>
Date: Sat, 18 Mar 2023 08:07:07 +0100
Subject: [PATCH] Add missing colon

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5a09e7c..d198d42 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
                     script: 'env'
                 )
                 build(
-                    job: '../tools-deployment'
+                    job: '../tools-deployment',
                     parameters: [
                         string(name: 'TOOLS_BRANCH': value: "${GIT_BRANCH}")
                     ]