[releng] update Jenkinsfile to fix conditional
[releng] update Jenkinsfile to fix conditional
viatra/viatra-cps-benchmark,viatra/viatra-cps-benchmark,viatra/viatra-cps-benchmark,viatra/viatra-cps-benchmark