From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id SP6ABohkr2BNGgEAgWs5BA (envelope-from ) for ; Thu, 27 May 2021 11:21:12 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id GMM7Aohkr2BUOwAA1q6Kng (envelope-from ) for ; Thu, 27 May 2021 09:21:12 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 67BC21DE1D for ; Thu, 27 May 2021 11:21:11 +0200 (CEST) Received: from localhost ([::1]:36494 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lmCCT-0000Aw-S5 for larch@yhetil.org; Thu, 27 May 2021 05:21:09 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45694) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lmCCM-0000Am-IV for bug-guix@gnu.org; Thu, 27 May 2021 05:21:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39123) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lmCCM-0005Mn-At for bug-guix@gnu.org; Thu, 27 May 2021 05:21:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lmCCM-0007X0-6U for bug-guix@gnu.org; Thu, 27 May 2021 05:21:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#48564: =?UTF-8?Q?=E2=80=98channel-with-substitutes-available=E2=80=99?= makes assumptions about job names Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 27 May 2021 09:21:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 48564 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Mathieu Othacehe Received: via spool by 48564-submit@debbugs.gnu.org id=B48564.162210725028913 (code B ref 48564); Thu, 27 May 2021 09:21:02 +0000 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: A9a23:LgMA1q2YAQap9CF7igpMkAqjBGskLtp133Aq2lEZdPU1SKClfqWV98jzuiWatN9vYh8dcLy7WZVoa0m9yXcN2/hzAV76ZniFhILKFvAG0WKd+UyFJ8SkzJ876U4IScEXNDSXNykdsS+Q2mSF+rgbquVuBMqT9J7jJg9WPHlXgyoK1XYDNu4QeXcGPjWvvPECZeeh2vY= 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: Ludovic =?UTF-8?Q?Court=C3=A8s?= 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 48564@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1622107271; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=Gf4Q9GB6FPAsHhAH5wHK36snQ8j+b3ZA/VXFK0g5nuw=; b=r5+PA67j4TTxtDNxs7f9C2XbBGhviheHw5MevDVQiNoWe/PlY0DT6bhwrBzv9O2IRq1cMw KD6iMRWxHN2d7pAxbCOy9EHFZL0jXC0fPwbbAAdaYV2fa0DevuuQBrsuU4dpyIDQ85Q2JV YulQ0sLUZFjYJXmvgzur6F335y1xZn7H7f/syV6N7Wbq5oKxNKav9WbKHtPJJBjIuq8RLe aT1FFI5ouyw6+ilE6OxvwjceXaZwhOWhRn2/9BFuRv5EEIEMtp/0FCE7cEPggNeQkWzG81 lW5BY7ZkSmtSDe1ho2VyF/ywfc/tGppidxitfxJi9L8VPJpZfChB0uaS/RH6QQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1622107271; a=rsa-sha256; cv=none; b=HurOs7yrRIF0QD352oPdeiD3XL4Hul2E88fFSjcc/enBetE20IfwPS0N/04D292pnO5y36 e+DX+5q+5+sAxZCek5YHrz+4nrndzZVP4k1byFSUpUK/PWJmAqFvaw6m7kqxbUJJhnDUhD XRUMKldB99GWq9FUM4s7W+v/N9ItLFEft8c2/qg1IC9wwy3xhZcbiCQcowRS7jdx83iacl RF5Yj/scSa5bk1S+eKSTzJ+ih/JeqG8eMlZ4xIjVUvgFVkJMuHaHAHvYv3dhk6bra2/Ii2 FTorCeBR5uY8USpguvRVxhsacdFO1XCbQseHD7b7lzpppOBlBpF9sfAEGHLqFw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Spam-Score: -2.43 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 67BC21DE1D X-Spam-Score: -2.43 X-Migadu-Scanner: scn1.migadu.com X-TUID: ReQW4lIQcNRE 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.