From cdd2193d4dbd351492133ea7b2df565772dba66b Mon Sep 17 00:00:00 2001
From: Julien Malka <julien@malka.sh>
Date: Sat, 13 May 2023 21:46:30 +0200
Subject: [PATCH] buildbot workers: 8 -> 14

---
 modules/buildbot/worker.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/buildbot/worker.py b/modules/buildbot/worker.py
index 972825f..a15a06c 100644
--- a/modules/buildbot/worker.py
+++ b/modules/buildbot/worker.py
@@ -53,6 +53,6 @@ def setup_worker(application: service.Application, id: int) -> None:
 # directory; do not edit it.
 application = service.Application("buildbot-worker")
 
-for i in range(8):
+for i in range(14):
     setup_worker(application, i)