diff --git a/tests/ci/Jenkinsfile.ort b/tests/ci/Jenkinsfile.ort index 42b366946c..f08e307007 100644 --- a/tests/ci/Jenkinsfile.ort +++ b/tests/ci/Jenkinsfile.ort @@ -1,5 +1,8 @@ pipeline { agent none + options { + disableConcurrentBuilds() + } stages { stage('Run ORTs') { agent {