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	f883830975	issue 974: two work-queue streams for the checks of pull requests (CHECKS_READY, CHECKS_OTHER), their workers, grants and writer	2026-10-17 13:53:22 +02:00