From unknown Wed Jun 18 23:04:58 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#48564 <48564@debbugs.gnu.org> To: bug#48564 <48564@debbugs.gnu.org> Subject: Status: =?UTF-8?Q?=E2=80=98channel-with-substitutes-available=E2=80=99?= makes assumptions about job names Reply-To: bug#48564 <48564@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:04:58 +0000 retitle 48564 =E2=80=98channel-with-substitutes-available=E2=80=99 makes as= sumptions about job names reassign 48564 guix submitter 48564 Ludovic Court=C3=A8s severity 48564 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri May 21 08:59:10 2021 Received: (at submit) by debbugs.gnu.org; 21 May 2021 12:59:10 +0000 Received: from localhost ([127.0.0.1]:36031 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk4kA-0000xH-3H for submit@debbugs.gnu.org; Fri, 21 May 2021 08:59:10 -0400 Received: from lists.gnu.org ([209.51.188.17]:44218) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk4k8-0000xA-PF for submit@debbugs.gnu.org; Fri, 21 May 2021 08:59:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53942) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lk4k7-0001sO-Lt for bug-guix@gnu.org; Fri, 21 May 2021 08:59:07 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:29248) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lk4k5-0000Jq-51 for bug-guix@gnu.org; Fri, 21 May 2021 08:59:07 -0400 IronPort-Data: =?us-ascii?q?A9a23=3AupwLHa+E2aw4qOJDxQlHDrUDpnyTJUtcMsCJ2f8?= =?us-ascii?q?bfWQNrUp20jEDz2McUWGPPavcN2H1edgkPt7j9kJTu5LcxtEySldlrnsFo1Bi+?= =?us-ascii?q?ZOUX4zBRqvTF3rPdZObFBoPA/3z27AsFehsJpPnjkrrYuKJQUVUj/nSH+KhUre?= =?us-ascii?q?cY0ideCc/IMsfoUM68wIGqt4w6TSJK1vlVeLa+6UzCnf9s9JHGj58B5a4lf9al?= =?us-ascii?q?K+aVAX0EbAJTasjUFf2zxH5BX+ETE27ByOQroJ8RoZWSwtfpYxV8F81/z91Yj+?= =?us-ascii?q?kuqz6eEcNRNY+PyDf0zwPBfDk20Ed4HZqi87XN9JFAatTozGUk9dvyd4LvputU?= =?us-ascii?q?xskJYXNnv4cWl9WCUmSOIUdqOWeeCbm65z7I0ruNiGEL+9VJEsrMsgX5+dnKW5?= =?us-ascii?q?I6LofMj9lU/wpr4pa25rqE6w12JxmdZC0edlH4zd70DvCS+48RoDKT+PM6MMw4?= =?us-ascii?q?dv5vegWdd62WibTQWMHgMz8XiBy?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ahzu1xq8T2ZNjWB9J1Dhuk+BJI+orL9Y04lQ7?= =?us-ascii?q?vn2ZKCYlF/Bw8vrCoB1173PJYVoqN03I2urwXJVoOEmskqKduLNhW4tKPzOW2l?= =?us-ascii?q?dATrsD0WKK+VSJcEfDH4hmu5uIGJIOa+EYY2IasS+02njEL/8QhPSK9aC2ifzP?= =?us-ascii?q?8X9xRwAvT6l67QtjYzzra3FedU19GJIoG4Gd6s1LvX6KcWkcb8S3b0N1J9Trlp?= =?us-ascii?q?nwiZr3bgUHCxkr8k2lhTew4L71FBiUty1uKA9n8PMZ7GDUnBf46qKvqbWG6jK0?= =?us-ascii?q?7R6o06hr?= X-IronPort-AV: E=Sophos;i="5.82,319,1613430000"; d="scan'208";a="382116128" Received: from 91-160-117-201.subs.proxad.net (HELO ribbon) ([91.160.117.201]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 May 2021 14:59:00 +0200 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Subject: =?utf-8?Q?=E2=80=98channel-with-substitutes-available=E2=80=99?= makes assumptions about job names X-Debbugs-Cc: Mathieu Othacehe X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 2 Prairial an 229 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Fri, 21 May 2021 14:58:59 +0200 Message-ID: <87mtso2qgc.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=192.134.164.104; envelope-from=ludovic.courtes@inria.fr; helo=mail3-relais-sop.national.inria.fr X-Spam_score_int: -41 X-Spam_score: -4.2 X-Spam_bar: ---- X-Spam_report: (-4.2 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Hello! I wanted to try something like this: --8<---------------cut here---------------start------------->8--- (use-modules (guix ci)) (list (channel-with-substitutes-available %default-guix-channel "https://ci.guix.gnu.org") (channel-with-substitutes-available (channel (name 'guix-hpc) (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git")) "https://guix.bordeaux.inria.fr")) --8<---------------cut here---------------end--------------->8--- However, that doesn=E2=80=99t work because =E2=80=98channel-with-substitute= s-available=E2=80=99 looks for a =E2=80=98guix.x86_64-linux=E2=80=99 job, which doesn=E2=80=99t = exist on this Cuirass instance. Wouldn=E2=80=99t it be enough to look for the latest completed evaluation (= of a given jobset)? Incidentally, it seems =E2=80=98complete?=E2=80=99 is always false: --8<---------------cut here---------------start------------->8--- scheme@(guix ci)> (latest-evaluations "https://guix.bordeaux.inria.fr" 10) $16 =3D (#< id: 88628 spec: "guix-past" complete?: #f checkouts= : (#< commit: "065d2cd6ced96ddb38c15a46f798488f61660a33" channel:= "guix">)> #< id: 88627 spec: "guix-hpc" complete?: #f checkout= s: (#< commit: "065d2cd6ced96ddb38c15a46f798488f61660a33" channel= : "guix">)> #< id: 88584 spec: "guix-past" complete?: #f checko= uts: (#< commit: "fd5527407ff336c4af1c5511e19c0956720cd7aa" chann= el: "guix">)> #< id: 88583 spec: "guix-hpc" complete?: #f check= outs: (#< commit: "fd5527407ff336c4af1c5511e19c0956720cd7aa" chan= nel: "guix">)> #< id: 88470 spec: "guix-past" complete?: #f che= ckouts: (#< commit: "2710df38b0c317bdc69c61c7775d8141eb214dd1" ch= annel: "guix">)> #< id: 88469 spec: "guix-hpc" complete?: #f ch= eckouts: (#< commit: "2710df38b0c317bdc69c61c7775d8141eb214dd1" c= hannel: "guix">)> #< id: 88442 spec: "guix-past" complete?: #f = checkouts: (#< commit: "83d21785a9fbc6a7e87435d437b2b3917f3a3b09"= channel: "guix">)> #< id: 88441 spec: "guix-hpc" complete?: #f= checkouts: (#< commit: "83d21785a9fbc6a7e87435d437b2b3917f3a3b09= " channel: "guix">)> #< id: 88186 spec: "guix-past" complete?: = #f checkouts: (#< commit: "061823da03add693df9c411fee9ccdcc7291f0= ec" channel: "guix">)> #< id: 88185 spec: "guix-hpc" complete?:= #f checkouts: (#< commit: "061823da03add693df9c411fee9ccdcc7291f= 0ec" channel: "guix">)>) --8<---------------cut here---------------end--------------->8--- Thoughts? Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Fri May 21 09:28:55 2021 Received: (at 48564) by debbugs.gnu.org; 21 May 2021 13:28:55 +0000 Received: from localhost ([127.0.0.1]:36061 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk5Cx-0001g6-62 for submit@debbugs.gnu.org; Fri, 21 May 2021 09:28:55 -0400 Received: from eggs.gnu.org ([209.51.188.92]:38532) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk5Ct-0001fq-JH for 48564@debbugs.gnu.org; Fri, 21 May 2021 09:28:53 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:43320) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lk5Cn-0004tM-Ex; Fri, 21 May 2021 09:28:45 -0400 Received: from [2a01:e0a:19b:d9a0:f2f7:a404:c3d3:f8b4] (port=50390 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lk5Cm-0006Eu-GR; Fri, 21 May 2021 09:28:44 -0400 From: Mathieu Othacehe To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#48564: =?utf-8?Q?=E2=80=98channel-with-substitutes-availa?= =?utf-8?Q?ble=E2=80=99?= makes assumptions about job names References: <87mtso2qgc.fsf@inria.fr> Date: Fri, 21 May 2021 15:28:43 +0200 In-Reply-To: <87mtso2qgc.fsf@inria.fr> ("Ludovic =?utf-8?Q?Court=C3=A8s=22?= =?utf-8?Q?'s?= message of "Fri, 21 May 2021 14:58:59 +0200") Message-ID: <87fsygqkqc.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 48564 Cc: 48564@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hey Ludo, > Wouldn=E2=80=99t it be enough to look for the latest completed evaluation= (of a > given jobset)? I guess it would be enough but we would need to specify the jobset that needs to be used, this way maybe: --8<---------------cut here---------------start------------->8--- (define* (channel-with-substitutes-available chan url #:key (specification "master")) --8<---------------cut here---------------end--------------->8--- this would also allow me to simplify this patchset: https://issues.guix.gnu.org/47929. WDYT? Thanks, Mathieu From debbugs-submit-bounces@debbugs.gnu.org Fri May 21 10:30:32 2021 Received: (at 48564) by debbugs.gnu.org; 21 May 2021 14:30:32 +0000 Received: from localhost ([127.0.0.1]:37357 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk6AZ-0005gw-RT for submit@debbugs.gnu.org; Fri, 21 May 2021 10:30:32 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:63861) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lk6AY-0005gi-3C for 48564@debbugs.gnu.org; Fri, 21 May 2021 10:30:30 -0400 X-IronPort-AV: E=Sophos;i="5.82,319,1613430000"; d="scan'208";a="509397780" Received: from 91-160-117-201.subs.proxad.net (HELO ribbon) ([91.160.117.201]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 May 2021 16:30:23 +0200 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Mathieu Othacehe Subject: Re: bug#48564: =?utf-8?Q?=E2=80=98channel-with-substitutes-availa?= =?utf-8?Q?ble=E2=80=99?= makes assumptions about job names References: <87mtso2qgc.fsf@inria.fr> <87fsygqkqc.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 2 Prairial an 229 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Fri, 21 May 2021 16:30:22 +0200 In-Reply-To: <87fsygqkqc.fsf@gnu.org> (Mathieu Othacehe's message of "Fri, 21 May 2021 15:28:43 +0200") Message-ID: <87zgwo17nl.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 48564 Cc: 48564@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, Mathieu Othacehe skribis: >> Wouldn=E2=80=99t it be enough to look for the latest completed evaluatio= n (of a >> given jobset)? > > I guess it would be enough but we would need to specify the jobset that > needs to be used, this way maybe: > > (define* (channel-with-substitutes-available chan url > #:key > (specification "master")) Sure, SGTM. > this would also allow me to simplify this patchset: > https://issues.guix.gnu.org/47929. Oh nice, I had completely overlooked that one! I=E2=80=99ll take a look. Thank you, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Wed May 26 10:17:31 2021 Received: (at 48564) by debbugs.gnu.org; 26 May 2021 14:17:31 +0000 Received: from localhost ([127.0.0.1]:49681 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lluLi-0007tn-RW for submit@debbugs.gnu.org; Wed, 26 May 2021 10:17:31 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44142) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lluLh-0007p4-Fp for 48564@debbugs.gnu.org; Wed, 26 May 2021 10:17:29 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:35422) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lluLb-0001gY-La; Wed, 26 May 2021 10:17:23 -0400 Received: from [2a01:e0a:19b:d9a0:f2f7:a404:c3d3:f8b4] (port=42400 helo=meije) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lluLa-0006Q8-Qd; Wed, 26 May 2021 10:17:23 -0400 From: Mathieu Othacehe To: Ludovic =?utf-8?Q?Court=C3=A8s?= Subject: Re: bug#48564: =?utf-8?Q?=E2=80=98channel-with-substitutes-availa?= =?utf-8?Q?ble=E2=80=99?= makes assumptions about job names References: <87mtso2qgc.fsf@inria.fr> <87fsygqkqc.fsf@gnu.org> <87zgwo17nl.fsf@inria.fr> Date: Wed, 26 May 2021 16:17:21 +0200 In-Reply-To: <87zgwo17nl.fsf@inria.fr> ("Ludovic =?utf-8?Q?Court=C3=A8s=22?= =?utf-8?Q?'s?= message of "Fri, 21 May 2021 16:30:22 +0200") Message-ID: <87bl8x60lq.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 48564 Cc: 48564@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hey Ludo, >> (define* (channel-with-substitutes-available chan url >> #:key >> (specification "master")) > I have fixed the evaluation complete? field issue with a2155f41f53eeb5000857e7160c5ad0916dc9bfa. Regarding the idea we had, things are I fear a little more complex. If we consider what you would like to achieve: --8<---------------cut here---------------start------------->8--- (list (channel-with-substitutes-available %default-guix-channel "https://ci.guix.gnu.org" #:spec "master") (channel-with-substitutes-available (channel (name 'guix-hpc) (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git")) "https://guix.bordeaux.inria.fr" #:spec "guix-hpc")) --8<---------------cut here---------------end--------------->8--- The first channel-with-substitutes-available could use the commit M1 from the Savannah Guix master branch, while the second channel-with-substitutes-available could use the commit H1 from the HPC gitlab master branch. If the commit H1 is evaluated by the Inria Cuirass against an older Savannah Guix master commit let say M2, then "guix pull" will rebuild the guix-hpc derivation I guess. Maybe we need something that looks like: --8<---------------cut here---------------start------------->8--- (channels-with-substitutes-available (list %default-guix-channel (channel (name 'guix-hpc) (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git"))) (list "https://ci.guix.gnu.org" "https://guix.bordeaux.inria.fr") (specs "master" "guix-hpc")) --8<---------------cut here---------------end--------------->8--- that would make sure to use a couple of Guix and HPC commits that have been evaluated together on the Inria Cuirass server. This looks more complex though :( Mathieu From debbugs-submit-bounces@debbugs.gnu.org Thu May 27 05:20:50 2021 Received: (at 48564) by debbugs.gnu.org; 27 May 2021 09:20:50 +0000 Received: from localhost ([127.0.0.1]:50669 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lmCCA-0007WH-03 for submit@debbugs.gnu.org; Thu, 27 May 2021 05:20:50 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:21249) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lmCC8-0007W5-1S for 48564@debbugs.gnu.org; Thu, 27 May 2021 05:20:49 -0400 IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ALgMA1q2YAQap9CF7igpMkAqjBGskLtp133Aq?= =?us-ascii?q?2lEZdPU1SKClfqWV98jzuiWatN9vYh8dcLy7WZVoa0m9yXcN2/hzAV76ZniFhI?= =?us-ascii?q?LKFvAG0WKd+UyFJ8SkzJ876U4IScEXNDSXNykdsS+Q2mSF+rgbquVuBMqT9J7j?= =?us-ascii?q?Jg9WPHlXgyoK1XYDNu4QeXcGPjWvvPECZeeh2vY=3D?= X-IronPort-AV: E=Sophos;i="5.82,334,1613430000"; d="scan'208";a="382613428" Received: from unknown (HELO ribbon) ([193.50.110.80]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 May 2021 11:20:42 +0200 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Mathieu Othacehe Subject: Re: bug#48564: =?utf-8?Q?=E2=80=98channel-with-substitutes-availa?= =?utf-8?Q?ble=E2=80=99?= makes assumptions about job names References: <87mtso2qgc.fsf@inria.fr> <87fsygqkqc.fsf@gnu.org> <87zgwo17nl.fsf@inria.fr> <87bl8x60lq.fsf@gnu.org> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 8 Prairial an 229 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 27 May 2021 11:20:41 +0200 In-Reply-To: <87bl8x60lq.fsf@gnu.org> (Mathieu Othacehe's message of "Wed, 26 May 2021 16:17:21 +0200") Message-ID: <878s40r0ra.fsf@inria.fr> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 48564 Cc: 48564@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Heya, Mathieu Othacehe skribis: >>> (define* (channel-with-substitutes-available chan url >>> #:key >>> (specification "master")) >> > > I have fixed the evaluation complete? field issue with > a2155f41f53eeb5000857e7160c5ad0916dc9bfa. Good catch! > Regarding the idea we had, things are I fear a little more complex. If > we consider what you would like to achieve: > > (list (channel-with-substitutes-available > %default-guix-channel > "https://ci.guix.gnu.org" > #:spec "master") > (channel-with-substitutes-available > (channel > (name 'guix-hpc) > (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git")) > "https://guix.bordeaux.inria.fr" > #:spec "guix-hpc")) > > > The first channel-with-substitutes-available could use the commit M1 > from the Savannah Guix master branch, while the second > channel-with-substitutes-available could use the commit H1 from the > HPC gitlab master branch. > > If the commit H1 is evaluated by the Inria Cuirass against an older > Savannah Guix master commit let say M2, then "guix pull" will rebuild > the guix-hpc derivation I guess. > > Maybe we need something that looks like: > > (channels-with-substitutes-available > (list %default-guix-channel > (channel > (name 'guix-hpc) > (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git"))) > (list "https://ci.guix.gnu.org" > "https://guix.bordeaux.inria.fr") > (specs "master" "guix-hpc")) > > that would make sure to use a couple of Guix and HPC commits that > have been evaluated together on the Inria Cuirass server. > > This looks more complex though :( Hmm yeah. Actually, in this example, it would make sense to take both commits from guix.bordeaux.inria.fr, since that instance necessarily has info about the two channels. But yeah, it remains a bit complex. Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu May 27 16:44:32 2021 Received: (at 48564) by debbugs.gnu.org; 27 May 2021 20:44:32 +0000 Received: from localhost ([127.0.0.1]:52896 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lmMro-0002Wg-4o for submit@debbugs.gnu.org; Thu, 27 May 2021 16:44:32 -0400 Received: from mail-wm1-f53.google.com ([209.85.128.53]:53075) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lmMrm-0002WT-Iv for 48564@debbugs.gnu.org; Thu, 27 May 2021 16:44:31 -0400 Received: by mail-wm1-f53.google.com with SMTP id z130so954786wmg.2 for <48564@debbugs.gnu.org>; Thu, 27 May 2021 13:44:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=AzucyJI5k+7OzcP6MDfTIgJU78XpMNpDNrq9hT8RUeE=; b=cSO9wAZtNjcfiAn4AaVBY2OyzduwKXKoXkgWT7mQOqdwaeqHBSYv6Caz8GndzUkmDr yw0hgMW9giNKtK1ldXbZpK3mDbBSekcyWjamLNzZwqfDeuaPv9yyvXiCwW2ncUw4bilj whiUt8SXc6i7YhRGYg0ilVpd01QZZNz4oX6ibjs7XEuQcpCZJcKKrjwwJ1hk+S9mCG1t 0c4mM6DUnMhsiRhEKhFQvN5N0avVcses1DCqOEnjuZAigq4Zct3ArUpurPOVbmGv1fpv jwNuJnFGpwVTLMtwbonYb9Ezf7v/+TgW2akffLk7zdOqm+IYCQ2+jCJwSdvsJJV1oVmf lt/A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=AzucyJI5k+7OzcP6MDfTIgJU78XpMNpDNrq9hT8RUeE=; b=cSJ57quqvqP2D/J87OYLW0ajA+AFspgZUftZZpMIUUaIIM002XSeVSYHMP+TNHUa5m eWNx/Isn2KyFoZcmDLEYj9Q2GJal6Bj0MBwUA+fGLQUbFPfRIadfL4+uzx1tXm9P47EU K0ZbO5vQB4Bi15BqSoY77MWiq3eyZVP4TrSC910Yvq6i2xjm1lc6QfM/it3kTK0wOH5l EzfnGN3wYNYyr6EDVVtAwID0mi+jXy4RYRiMMaNjHQhUkP6ylH0Yhc9Pg51DMOT1OcsJ OCtfXHl6U5tnRiyx8vXCOd1M1aDrYzdswZzxMKI2IuNC0qcTIwwTFxWJ4+6z+/tOr0DD MNAA== X-Gm-Message-State: AOAM531+MrbyJO6xVevg0Eqkwp354iyaccX9xdlCHGt6mXUSiS92sXQM 6g9Jnzjl5oOOAbQIsQs3wnzl4oXoZ2o= X-Google-Smtp-Source: ABdhPJxnmh/L9LLgwEa2U2j1uCOjcptnT2F095ldyXGCFDud4i3lRwDxIWTqr0Z8EndKHExgOJTueA== X-Received: by 2002:a1c:4c03:: with SMTP id z3mr5274091wmf.58.1622148264727; Thu, 27 May 2021 13:44:24 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id u26sm4125958wmn.19.2021.05.27.13.44.23 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 27 May 2021 13:44:24 -0700 (PDT) From: zimoun To: Mathieu Othacehe Subject: Re: bug#48564: =?utf-8?Q?=E2=80=98channel-with-substitutes-availa?= =?utf-8?Q?ble=E2=80=99?= makes assumptions about job names References: <87mtso2qgc.fsf@inria.fr> <87fsygqkqc.fsf@gnu.org> <87zgwo17nl.fsf@inria.fr> <87bl8x60lq.fsf@gnu.org> Date: Thu, 27 May 2021 22:34:05 +0200 In-Reply-To: <87bl8x60lq.fsf@gnu.org> (Mathieu Othacehe's message of "Wed, 26 May 2021 16:17:21 +0200") Message-ID: <86o8cvncg2.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 48564 Cc: Ludovic =?utf-8?Q?Court=C3=A8s?= , 48564@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, On Wed, 26 May 2021 at 16:17, Mathieu Othacehe wrote: > (channels-with-substitutes-available > (list %default-guix-channel > (channel > (name 'guix-hpc) > (url "https://gitlab.inria.fr/guix-hpc/guix-hpc.git"))) > (list "https://ci.guix.gnu.org" > "https://guix.bordeaux.inria.fr") > (specs "master" "guix-hpc")) FWIW, I do not know if =E2=80=99channels-with-substitutes-available=E2=80= =99 should take a list of channels, but it should take a list of substitute servers. For instance, the user should be allowed to provide (list "https://ci.guix.gnu.org" "https://bayfront.guix.gnu.org") for the channel %default-guix-channel. And the default should be: (channels-with-substitutes-available %default-guix-channel %default-substitute-urls) Then, for multi-channels, the substitute servers should be a list of list, IMHO. Although, in practise, currently, there is less substitute servers than channels. ;-) Cheers, simon