Update Jenkinsfile - #18

Update Jenkinsfile#18

adamjohnwright wants to merge 2 commits into

mainreactome/release-update-stable-ids:mainfrom

deploy-ci-dockerreactome/release-update-stable-ids:deploy-ci-dockerCopy head branch name to clipboard