Fix Jenkinsfile

datasetStats/Jenkinsfile

@@ -1,10 +1,10 @@
 pipeline {
     agent any
     parameters {
-        choice(
+        buildSelector(
             name: 'BUILD_SELECTOR',
-            choices: ['lastSuccessfulBuild()', 'lastStableBuild()', 'specificBuild(123)', 'tags(\'release-*\')'],
-            description: 'Which build to use for copying artifacts'
+            defaultSelector: lastSuccessful(),
+            description: 'A build to take the artifacts from'
         )
     }
     stages {