switched to weighted build-queue

2022-02-19 18:03:55 +01:00
parent 0f98b9d18f
commit ba159e0a72
6 changed files with 434 additions and 490 deletions
--- a/config_dist.yaml
+++ b/config_dist.yaml
@@ -58,10 +58,12 @@ status:
    unknown: "dark"

 build:
-  # number of worker per march (e.g. x86-64-v3)
-  worker: 2
+  # number of workers total
+  worker: 4
  makej: 8
  checks: true
+  # builds over this threshold are considered slow (in minutes)
+  slow_queue_threshold: 60

 logging:
  level: INFO