Update jenkins/Jenkinsfile-release