diff --git a/Jenkinsfile b/Jenkinsfile index 1d22baca4d1..e9d2e69a611 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -6,15 +6,14 @@ pipeline { } parameters { - choice(name: 'TARGET_PLATFORM', choices: ['r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'r202403', 'latest'], description: 'Which Target Platform should be used?') + choice(name: 'TARGET_PLATFORM', choices: ['latest', 'r202203', 'r202206', 'r202209', 'r202212', 'r202303', 'r202306', 'r202309', 'r202312', 'r202403'], description: 'Which Target Platform should be used?') // see https://wiki.eclipse.org/Jenkins#JDK - choice(name: 'JDK_VERSION', choices: [ '11', '17' ], description: 'Which JDK version should be used?') + choice(name: 'JDK_VERSION', choices: ['17', '11'], description: 'Which JDK version should be used?') } triggers { - parameterizedCron(env.BRANCH_NAME == 'main' ? ''' - H H(0-1) * * * %TARGET_PLATFORM=r202203;JDK_VERSION=17 - H H(3-4) * * * %TARGET_PLATFORM=latest;JDK_VERSION=17 + parameterizedCron(env.BRANCH_NAME == 'cd_tycho40' ? ''' + H H(12-13) * * * %TARGET_PLATFORM=latest;JDK_VERSION=17 ''' : '') }