Hello! Andreas Enge <[email protected]> skribis:
> Am Mon, Jul 13, 2026 at 11:32:00PM +0200 schrieb Jelle Licht: >> Ludovic Courtès <[email protected]> writes: >> > Also, I would like us committers to always wait for @guix-cuirass-bot >> > feedback, except in cases where the pull request targets a branch other >> > than ‘master’ that pulls.ci won’t be able to build. >> I worry that this will slow (almost) trivial PRs down a lot, but that is >> obviously me wearing my "let's get some code merged" hat on ;-). > > Same here. I sometimes build packages from pull requests and their > dependents (maybe sometimes only the direct ones?) and merge them, which > is essentially the same as "running a bot by hand". For instance, > ungoogled-chromium. Waiting for the build bot does not add anything then. What waiting for the bot brings is a public track record, and the simple fact that it avoids mistakes that any person could make (and it runs ‘guix pull’, which committers are unlikely to do manually). Of course, there’s a risk of slowing things down if the infrastructure is not keeping up so we’ll have to constantly pay attention to that. Right now, I think it’s okay (there’s typically a 3-day delay from submission to @guix-cuirass-bot feedback) but it still requires too much attention and manual intervention (for instance to cancel big rebuilds). Addressing this is the focus for Cuirass 1.4. Cheers, Ludo’.
