Fix Jenkins build of PRs (#561)
Fix Jenkins build of PRs (#561)

* Update Jenkinsfile

* Update Jenkinsfile

* Update Jenkinsfile

* Update Jenkinsfile

* Update Jenkinsfile

* Update Jenkinsfile

hyrise/hyrise,hyrise/hyrise,hyrise/hyrise