jenkins: don't clog up build queue (#26724)

* jenkins: don't clog up build queue

* not real
vw-devel
Adeeb Shihadeh 2 years ago committed by GitHub
parent d64a5020b2
commit 53023abd24
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      Jenkinsfile

3
Jenkinsfile vendored

@ -51,7 +51,8 @@ pipeline {
MAPBOX_TOKEN = credentials('mapbox_token') MAPBOX_TOKEN = credentials('mapbox_token')
} }
options { options {
timeout(time: 4, unit: 'HOURS') timeout(time: 3, unit: 'HOURS')
disableConcurrentBuilds(abortPrevious: env.BRANCH_NAME != 'master')
} }
stages { stages {

Loading…
Cancel
Save