From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id IGBcBWjvsWZmaQEA62LTzQ:P1 (envelope-from ) for ; Tue, 06 Aug 2024 09:39:52 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id IGBcBWjvsWZmaQEA62LTzQ (envelope-from ) for ; Tue, 06 Aug 2024 11:39:52 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=baEDtsuE; arc=pass ("zohomail.com:s=zohoarc:i=1"); dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1722937191; 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:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=i8TVCZJr3qIYvvlfs/XCdhx2iZhFTXHJgoEh8ZqyNc8=; b=Z9mhSEKERuscXu/ylIL4vco1bI+F4txyeQfPOtukeTxV/udZ6vwrrHyKXm1V8Jp17yHWF6 uLfyFtUNcMAAaR5XommNbJqhgvQdai7w6AxVBC/pFWLYzODKjn1VReMqp31n6eTBl1QLls Gf+IMSTp4xyp+zM6F2nrvhDGE8TEvdEAZAr2cYmp9+gwNv2GTmQAnovd7JLpgR3nhTGmXA sWCqWjqOZhvecZcMna8obh0qWZcWc+BeFCHcmxlSe9HzOOIWdbmq7KkibaAMElU5SiUzvB 9MBgOSoWnOuqY4NfeFutbVPsg1iZzwH6EGVRzIGyLdxzYpevZBZEzzv8Q2ggnQ== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1722937192; a=rsa-sha256; cv=pass; b=DGzGdkWXbF8vbcWb+QZeH0Zz0K2YP3Je+Z7Jh5yOZpqm2TdARmLYBXrWPEv8GcL7O3ucj7 1Ff4DzyUxdeOE1nskZYjTnOSE5xU5fAn/J3g1QZwR9qRrctpxy2d5T8dbRFPkdtqtc0o1G 4TY0Hq2Ehv1jdbreoOxCKZesFKoKM5zYtNuEE/u37umnNme0Kf+U2ByPten/KDqM2VYzTG QhLVr1lMcR9vqmeEVydxGvr/7XTrFPI7adXTWGpPcYa7aPviLUzTgk5ta3KqMKGOs4dGBZ jO0FtpICr26x95qpFf2n1El0mL0rsH5FUVOQ3p5Il/DosRGGh1P2Z3lQMPwnEQ== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=baEDtsuE; arc=pass ("zohomail.com:s=zohoarc:i=1"); dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" 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 DE87D7FB95 for ; Tue, 06 Aug 2024 11:39:51 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sbGez-0000I9-1R; Tue, 06 Aug 2024 05:39:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sbGeu-0000FX-QT for guix-devel@gnu.org; Tue, 06 Aug 2024 05:39:12 -0400 Received: from sender4-of-o51.zoho.com ([136.143.188.51]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sbGer-0003gR-SX for guix-devel@gnu.org; Tue, 06 Aug 2024 05:39:11 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1722937146; cv=none; d=zohomail.com; s=zohoarc; b=KJWsfj5n+1wuc+hn9/a1uzlKbj7taS1jpkVYup+2WGeT2Mig0oZUk7bLLsCkh5Pyro6Td06eVRabNHMJcUeiTxKtkOP/iMaZrkdyXhSuREp5nnGfbYhJ9GMsyz2adQ9V9ZtrBB7nDKbY/oMbt6uV//86hQ/57mCh7p5/dQvH2M4= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1722937146; h=Content-Type:Cc:Cc:Date:Date:From:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:Subject:To:To:Message-Id:Reply-To; bh=i8TVCZJr3qIYvvlfs/XCdhx2iZhFTXHJgoEh8ZqyNc8=; b=cr6X+7Isjgdk3KdhXSs1GNDQPgRfNUvc3ji0sRLc8BYIw4hZVP9aUB0fViUEkvNh626+zzqyWuDtsl2p8skKcdTTqygNEhDhRlM+srLlPf6XZBdWlIEQtiF2Hy/FTQxro2EDyOjyieTKuPevBAPDBDPCkBG0gFd6bsGDbgrUqEY= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1722937146; s=zoho; d=elephly.net; i=rekado@elephly.net; h=From:From:To:To:Cc:Cc:Subject:Subject:In-Reply-To:References:Date:Date:Message-ID:MIME-Version:Content-Type:Message-Id:Reply-To; bh=i8TVCZJr3qIYvvlfs/XCdhx2iZhFTXHJgoEh8ZqyNc8=; b=baEDtsuEb/3hJY/n5jFQV8ke461P+gtxl252AU46wXnIkBbL6G9zlJjbI6T024en Wgsv1losb4w32YDBQddZBA98nUJYpX0ydPas6q4YufkmdeimcTbq/WXS/o6VSacCX1W 4p/qILv4R/nVyLtIzVYNcEHdms98wagjcDhiWrOQ= Received: by mx.zohomail.com with SMTPS id 1722937144955854.1881749594468; Tue, 6 Aug 2024 02:39:04 -0700 (PDT) From: Ricardo Wurmus To: "Jonathan Frederickson" Cc: guix-devel@gnu.org Subject: Re: Indication of build failure from substitute servers? In-Reply-To: (Jonathan Frederickson's message of "Mon, 22 Jul 2024 22:38:35 -0400") References: Date: Tue, 06 Aug 2024 11:39:01 +0200 Message-ID: <87zfpqc7nu.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.51; envelope-from=rekado@elephly.net; helo=sender4-of-o51.zoho.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H4=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-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list 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+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -6.50 X-Spam-Score: -6.50 X-Migadu-Queue-Id: DE87D7FB95 X-Migadu-Scanner: mx11.migadu.com X-TUID: 50671wh1OlcF "Jonathan Frederickson" writes: > Would it make sense to have some mechanism for substitute servers to be able to provide a sort of "non-existence proof" for a given > package? Something that the CI system could publish to indicate that its build attempt for that package failed, and that clients could use > to optionally abort without attempting a local build? It's something I've been wanting for the past decade. The CI system knows when a build has failed but when checking for substitutes there is no endpoint to ask whether the CI build has failed. In the past we had discussed enhancements to the substitution mechanism (with the background of making use of information from "guix challenge") that would allow people to have a bit more control over it. In the meantime we have added a way to let "guix pull" determine the latest commit with substitutes for the derivations needed for "guix pull" --- in the same vein we could enhance the substitution mechanism to check an endpoint on CI and abort if the remote build has been marked as failed. If you'd like you could think this through and come up with a minimal set of proposed changes needed to make it work. Then we could discuss this here and decide which of the possibile approaches would be most appropriate. -- Ricardo