On Tue, Jan 07, 2020 at 06:43:54PM +0100, zimoun wrote:
> Hi Ludo,
> 
> Thank you for sharing! Cool!
> 
> 
> > ** TODO make it easy to run CI
> >   - “guix ci -C channel.scm -m manifest.scm”
> 
> Do you a pointer (thread in guix-devel or bug) about this point "guix ci"?
> 
> 
> > ** TODO have ‘guix challenge’ automatically do “guix build --check” if needed (?)
> 
> I like the current default. :-)
> Well, usually I do not know what I have locally build or not when I
> use "guix challenge". And time to time I use "guix challenge <pkg>" to
> know if this very <pkg> is locally built or not. Awkward but does the
> job. :-)
> 
> BTW, it could be cool to expose some options of "guix build" to "guix
> challenge", e.g., "--no-substitutes", "--max-jobs", "--cores",
> "--with-source", etc.
> 

I wish 'guix challenge' by default challenged all the servers in the
substitute-url list without needing to specify it with a flag and not
just the default one (berlin)

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted