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 {