KOJI armv7hl builders out of resources

Hello, recently, package 'community-mysql' started to FTBFS, because of lack of resources on armv7hl builders in KOJI. Packages like 'mariadb' and 'community-mysql' are quite resource hungry, both for disk and memory. Occasionally it happens that out of random reasons, some builder here and there don't have enough resources. Usually because that particular builder was under heavy load. However this time, the armv7hl builds lack the resources in 100% builds for days in various times on various hosts. (1) Did the KOJI armv7hl builder's configuration change recently ? (2) Should I file an issue somewhere? Generic https://pagure.io/releng/new_issue ? First spotted: F35 mass rebuild. Reproducible: 100%, on all F33..Rawhide --- https://koji.fedoraproject.org/koji/taskinfo?taskID=73160741 https://koji.fedoraproject.org/koji/taskinfo?taskID=73161223 https://koji.fedoraproject.org/koji/taskinfo?taskID=72957127 https://koji.fedoraproject.org/koji/taskinfo?taskID=72968988 https://koji.fedoraproject.org/koji/taskinfo?taskID=73120117 https://koji.fedoraproject.org/koji/taskinfo?taskID=73120137 -- Michal Schorm Software Engineer Core Services - Databases Team Red Hat --