Fix Jenkinsfile datasetStats

2023-04-14 23:58:41 +02:00 · 2023-04-14 23:58:41 +02:00 · 31ea24ceef
commit 31ea24ceef
parent cffa92bfd9
1 changed files with 4 additions and 3 deletions
--- a/datasetStats/Jenkinsfile
+++ b/datasetStats/Jenkinsfile
@ -1,10 +1,11 @@
 pipeline {
    agent any
    parameters {
-        buildSelector(
-            defaultSelector: lastSuccesful(),
+        choice(
+            name: 'BUILD_SELECTOR',
+            choices: ['lastSuccessfulBuild()', 'lastStableBuild()', 'specificBuild(123)', 'tags(\'release-*\')'],
            description: 'Which build to use for copying artifacts',
-            name: 'BUILD_SELECTOR'
+            defaultVaue: 'lastSuccessfulBuild()'
        )
    }
    stages {