more follow-up fixes for new build-queue

2022-03-07 17:20:24 +01:00
parent 65f3247d20
commit ed2a42318e
15 changed files with 2489 additions and 317 deletions
--- a/config_dist.yaml
+++ b/config_dist.yaml
@@ -62,8 +62,8 @@ build:
  worker: 4
  makej: 8
  checks: true
-  # builds over this threshold are considered slow (in minutes)
-  slow_queue_threshold: 60
+  # builds over this threshold are considered slow (in cpu-time-seconds)
+  slow_queue_threshold: 14400.0

 logging:
  level: INFO