2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	bd257afbd5	issue 974: the builders say the checks they run in a bucket that ages, and a builder drops a waiting request for a head and trunk commit another is running	2026-10-17 14:10:26 +02:00
jschoubben	3d09d5235f	issue 974: the checks are queued by pull request on two work-queue streams, taken after a delivery build, dropped when judged, stopped when their key moves; the reordering and the forge-asking end are gone	2026-10-17 14:01:33 +02:00