Disable concurrent builds (#885)

This commit is contained in:
sholdee 2022-07-22 02:13:38 -05:00 committed by GitHub
parent 84236e7ac3
commit bd95fe616b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1
Jenkinsfile vendored
View File

@ -4,6 +4,7 @@ pipeline {
options {
timestamps()
skipDefaultCheckout(true)
disableConcurrentBuilds(abortPrevious: true)
}
stages {