Hello, On Sun, Jul 21, 2024 at 12:57 PM Ludovic Courtès <l...@gnu.org> wrote:
> I guess this is probably what we should permit: building locally when we > cannot offload. > > Does that make sense? > What about making "build locally" not a special case, but just "offloading to localhost" ? Maybe as an implicit default, so that it would work naturally as today. And with some way to deny it for people who don't want to build locally at all, whatever their reason might be. Would that trim some "build locally"-specific code ? Is that already how it's done ? Is the idea crazy / dumb ? -- Vincent Legoll
