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. It was different with the former QA approach where, I think, the packages built by the bot were immediately available as substitutes, and also aarch64 packages were built. Andreas
