diff --git a/Jenkinsfile b/Jenkinsfile index ff0f774..0b6463e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent any - options { - parameters { + options([ + parameters[( string( defaultValue: 'mikolaj2', description: 'Kaggle username', @@ -18,8 +18,8 @@ pipeline { description: 'Value for head command', name: 'CUTOFF' ) - } - } + )] + ]) environment { KAGGLE_USERNAME="$params.KAGGLE_USERNAME" KAGGLE_KEY="$params.KAGGLE_KEY"