build/ci: disable concurrent presubmit builds
This prevents more than one presubmit job from executing globally in
Jenkins.
This will naturally make things more slow, but should let us
troubleshoot 'Socket closed' errors.
If after this still keeps happening, the theory that Jenkins is somehow
scheduling multiple different pipelines per agent/executor (and causing
Bazel server conflicts) is wrong and we need to look elsewhere.
If it stops the problem, the builds will likely effectively be faster
(because we won't waste so much time retriggering builds), and we can
then further debug why is it that multiple pipeline stages get scheduled
on the same agent/executor.
Change-Id: I90a8cdbb6b79fef4b9a33471ff20b821e9988ae9
Reviewed-on: https://review.monogon.dev/c/monogon/+/313
Reviewed-by: Leopold Schabel <leo@nexantic.com>
diff --git a/build/ci/jenkins-presubmit.groovy b/build/ci/jenkins-presubmit.groovy
index e0fb999..75c0575 100644
--- a/build/ci/jenkins-presubmit.groovy
+++ b/build/ci/jenkins-presubmit.groovy
@@ -4,6 +4,9 @@
pipeline {
agent none
+ options {
+ disableConcurrentBuilds()
+ }
stages {
stage('Parallel') {
parallel {