diff --git a/Jenkinsfile b/Jenkinsfile index 7a14078db4ef9d56bfa89dc908d8b62469b06e51..6e8b9d38274df7e56ef43e4d7403fce6fe27ff9c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { environment { - release = "v2019pre" - branch = "apertis/v2019pre" + release = "v2020pre" + branch = "apertis/v2020pre" } agent any