tree 52173a35ecc7029ce0d5cb681bc215a362b0d730
parent 41d275a63864e67deacad5b2ec0b435b01984034
author Serge Bazanski <serge@monogon.tech> 1629815241 +0200
committer Sergiusz Bazanski <serge@monogon.tech> 1629816218 +0000

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>