diff --git a/ci/release/Jenkinsfile b/ci/release/Jenkinsfile index fb62b023af..6a51412d12 100644 --- a/ci/release/Jenkinsfile +++ b/ci/release/Jenkinsfile @@ -32,13 +32,13 @@ pipeline { parameters { string( name: 'RELEASE_VERSION', - defaultValue: '7.0.6.Final', + defaultValue: '7.0.7.Final', description: 'The version to be released, e.g. 7.0.7.Final.', trim: true ) string( name: 'DEVELOPMENT_VERSION', - defaultValue: '7.0.7-SNAPSHOT', + defaultValue: '7.0.8-SNAPSHOT', description: 'The next version to be used after the release, e.g. 7.0.8-SNAPSHOT.', trim: true )