From mboxrd@z Thu Jan 1 00:00:00 1970 From: Efraim Flashner Subject: Re: Hacking ideas from the Reproducible Builds Summit Date: Wed, 8 Jan 2020 12:42:55 +0200 Message-ID: <20200108104255.GB3568@E5400> References: <87v9pni8b4.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="LyciRD1jyfeSSjG0" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:52225) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ip8oC-0007Of-8H for Guix-devel@gnu.org; Wed, 08 Jan 2020 05:43:29 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ip8oB-00062E-A0 for Guix-devel@gnu.org; Wed, 08 Jan 2020 05:43:28 -0500 Content-Disposition: inline In-Reply-To: List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: zimoun Cc: Guix-devel --LyciRD1jyfeSSjG0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Tue, Jan 07, 2020 at 06:43:54PM +0100, zimoun wrote: > Hi Ludo, >=20 > Thank you for sharing! Cool! >=20 >=20 > > ** TODO make it easy to run CI > > - =E2=80=9Cguix ci -C channel.scm -m manifest.scm=E2=80=9D >=20 > Do you a pointer (thread in guix-devel or bug) about this point "guix ci"? >=20 >=20 > > ** TODO have =E2=80=98guix challenge=E2=80=99 automatically do =E2=80= =9Cguix build --check=E2=80=9D if needed (?) >=20 > 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 " to > know if this very is locally built or not. Awkward but does the > job. :-) >=20 > 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. >=20 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) --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --LyciRD1jyfeSSjG0 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAl4Vsi8ACgkQQarn3Mo9 g1HJIBAAhD3uXiQ8CLG/Nk65lI60ghIlBKJxQwSYZcDvUzjHhGT+9PPZceN/5ICQ m7RrA+fgBI6OfFNN3JjssKcSn4LkddsbZM0jTtdTG9iZRBTKTv79SumSsEuRWHQt KbdIwOk200Bmoi0ddOeP2QeM2J0x4f7gVxIHXZIrLNBATK1xhb9a+Gy5GN0nceJ2 RjthJSvVYg07XEMtQDB3w6hzbRnWvlndxMtjc+d7RXEBMayM32vi9DMIQ1aZrwp0 QLFYGeXueumqnXPkLqcQkhdbHjcbCdkKiW7USsGPVhzxLCIg3ASOuNm7VQLwJkef 7PdxWSkSAxvh9woFP5YCEMqJDIbGeFT7Sv8rwY36WJaxNTtixkQojoG3Cxln60/H z2jcMuufLzRhtOUCpyos8yFKm4e4ts6pPXC1upsiZ43HEJEFdgJSovXj5r7gwUzo mdOuTGIAN01lbHVsxf6IPeCc5wOCagqkmyMsDDl6k+C6AlgpGNX8Ta0T5fKZNXfj eVPmLW/CTQoWNRMcm/Bik49OhtpAjwqGZ76OkuQrzOxj671klTS1TjcKkPnZoMtE GusiXxVgSq2YIS+WSOzgJw0TjSl3y7G5Zh6r9tYQ+5a0GAcl4nJVllOfNeRusgjs 0jL2Oc07RA1Zy6zWZRwoCLwP51tuNX3bly/juy83ZoDcCG1BdtM= =46dP -----END PGP SIGNATURE----- --LyciRD1jyfeSSjG0--