From b20a65e4fa22a94e5db97f161b3d03b507f2783f Mon Sep 17 00:00:00 2001 From: Kevin Fenzi Date: Wed, 30 Nov 2022 11:23:57 -0800 Subject: [PATCH] koji-hub: try moving webkitgtk to heavybuilder for aarch64 builders Signed-off-by: Kevin Fenzi --- roles/koji_hub/templates/hub.conf.j2 | 1 + 1 file changed, 1 insertion(+) diff --git a/roles/koji_hub/templates/hub.conf.j2 b/roles/koji_hub/templates/hub.conf.j2 index 99f3b28b66..ad034a5940 100644 --- a/roles/koji_hub/templates/hub.conf.j2 +++ b/roles/koji_hub/templates/hub.conf.j2 @@ -145,6 +145,7 @@ channel = # It just happens to be for this particular package. Please check before adding anything here, you could # cause it to end up building a lot slower. source */chromium* :: use heavybuilder + source */webkitgtk* :: use heavybuilder is_child_task :: parent all :: use default