From 213b461f0e6757d0e311a2fb24a3b0e3cb51a7cf Mon Sep 17 00:00:00 2001
From: jakubknczny <jakubknczny@gmail.com>
Date: Sun, 28 Mar 2021 14:13:40 +0200
Subject: [PATCH] fix Jenkinsfile parameter 2

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a234da8..d35fce5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
     agent any
-    parameters([string(defaultValue: '2000', description: 'number of train examples to keep', name: 'CUTOFF', trim: false)])
+    properties([parameters([string(defaultValue: '20000', description: '', name: 'CUTOFF', trim: false)])])
     stages {
         stage('sh: Shell Script') {
             steps {