ci: disable concurrent builds (#77617) #83

Merged
fpeters merged 1 commits from wip/77617-ci-disable-concurrent-builds into main 2023-05-15 17:16:10 +02:00
1 changed files with 1 additions and 0 deletions

1
Jenkinsfile vendored
View File

@ -2,6 +2,7 @@
pipeline {
agent any
options { disableConcurrentBuilds() }
stages {
stage('Unit Tests') {
steps {