From mboxrd@z Thu Jan 1 00:00:00 1970 From: zimoun Subject: Re: Hacking ideas from the Reproducible Builds Summit Date: Tue, 7 Jan 2020 18:43:54 +0100 Message-ID: References: <87v9pni8b4.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:41480) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iostm-0004p8-P5 for Guix-devel@gnu.org; Tue, 07 Jan 2020 12:44:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iostk-00059P-NJ for Guix-devel@gnu.org; Tue, 07 Jan 2020 12:44:10 -0500 In-Reply-To: <87v9pni8b4.fsf@gnu.org> 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.org@gnu.org Sender: "Guix-devel" To: =?UTF-8?Q?Ludovic_Court=C3=A8s?= Cc: Guix-devel Hi Ludo, Thank you for sharing! Cool! > ** TODO make it easy to run CI > - =E2=80=9Cguix ci -C channel.scm -m manifest.scm=E2=80=9D Do you a pointer (thread in guix-devel or bug) about this point "guix ci"? > ** TODO have =E2=80=98guix challenge=E2=80=99 automatically do =E2=80=9Cg= uix build --check=E2=80=9D 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 " to know if this very 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. Cheers, simon