Skip to content

#908 Don't concurrently build two versions of 'develop'

  • Jenkinsfile: document current options.
  • Jenkinsfile: enable disableConcurrentBuilds option.

Closes #908 (closed)

Merge request reports