From 0d9cf5946894f85cd06a97d01df48ab36261ec8e Mon Sep 17 00:00:00 2001
From: s424714 <filpat@st.amu.edu.pl>
Date: Wed, 10 May 2023 19:25:35 +0200
Subject: [PATCH] fix: update jenkinsfile

---
 Jenkinsfile-eval | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile-eval b/Jenkinsfile-eval
index 71be93a..94f68f8 100644
--- a/Jenkinsfile-eval
+++ b/Jenkinsfile-eval
@@ -10,7 +10,17 @@ node {
         //     ]),
         //     copyArtifactPermission('*'),
             parameters([
-                gitParameter branchFilter: 'origin/(.*)', defaultValue: 'master', name: 'BRANCH', type: 'PT_BRANCH',
+                // gitParameter branchFilter: 'origin/(.*)', defaultValue: 'master', name: 'BRANCH', type: 'PT_BRANCH',
+                gitParameter(branch: '',
+                     branchFilter: 'origin/(.*)',
+                     defaultValue: 'master',
+                     description: '',
+                     name: 'BRANCH',
+                     quickFilterEnabled: false,
+                     selectedValue: 'NONE',
+                     sortMode: 'NONE',
+                     tagFilter: '*',
+                     type: 'PT_BRANCH'),
                 buildSelector(
                     defaultSelector: lastSuccessful(),
                     description: 'Which build to use for copying artifacts',