Hello,

On Sun, Jul 21, 2024 at 12:57 PM Ludovic Courtès <ludo@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