The Jenkins pipeline option is great if using a Je...

# server

[dave08]

The Jenkins pipeline option is great if using a Jenkinsfile in the repository, because it doesn't really depend on a particular Jenkins instance (which is more failure resilient) and is source controlled...