From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id wBpZNRbx2F4UbAAA0tVLHw (envelope-from ) for ; Thu, 04 Jun 2020 13:03:18 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id iAMqMRbx2F7cLwAA1q6Kng (envelope-from ) for ; Thu, 04 Jun 2020 13:03:18 +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 1C9F09401AE for ; Thu, 4 Jun 2020 13:03:18 +0000 (UTC) Received: from localhost ([::1]:41888 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jgpWf-0001aW-3d for larch@yhetil.org; Thu, 04 Jun 2020 09:03:17 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56378) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jgpWQ-0001Zy-6t for bug-guix@gnu.org; Thu, 04 Jun 2020 09:03:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:33891) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1jgpWP-0006lW-UM for bug-guix@gnu.org; Thu, 04 Jun 2020 09:03:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jgpWP-0002dx-R6 for bug-guix@gnu.org; Thu, 04 Jun 2020 09:03:01 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#41661: [Cuirass] Doesn't honor 'timeout' nor 'max-silent-time' leading to mising substitutes Resent-From: Brice Waegeneire Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 04 Jun 2020 13:03:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 41661 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Received: via spool by 41661-submit@debbugs.gnu.org id=B41661.159127575710132 (code B ref 41661); Thu, 04 Jun 2020 13:03:01 +0000 Received: (at 41661) by debbugs.gnu.org; 4 Jun 2020 13:02:37 +0000 Received: from localhost ([127.0.0.1]:45437 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jgpW1-0002dM-EC for submit@debbugs.gnu.org; Thu, 04 Jun 2020 09:02:37 -0400 Received: from relay5-d.mail.gandi.net ([217.70.183.197]:59915) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1jgpW0-0002dA-9q for 41661@debbugs.gnu.org; Thu, 04 Jun 2020 09:02:36 -0400 Received: from webmail.gandi.net (webmail18.sd4.0x35.net [10.200.201.18]) (Authenticated sender: brice@waegenei.re) by relay5-d.mail.gandi.net (Postfix) with ESMTPA id E8CC51C000C; Thu, 4 Jun 2020 13:02:29 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Date: Thu, 04 Jun 2020 13:02:29 +0000 From: Brice Waegeneire In-Reply-To: <87mu5jauvq.fsf@gnu.org> References: <095b8c544efa2b37c1ff385a9fca0760@waegenei.re> <20200602174459.GC19317@jasmine.lan> <87mu5jauvq.fsf@gnu.org> Message-ID: X-Sender: brice@waegenei.re User-Agent: Roundcube Webmail/1.3.8 X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.7 (-) X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 41661@debbugs.gnu.org Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Scanner: scn0 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-Spam-Score: -1.01 X-TUID: XwmhOmocdj7P Hello, On 2020-06-04 12:16, Ludovic Courtès wrote: > Hi, > > Leo Famulari skribis: > >> We really need to improve our CI so that it's possible to discover >> these >> build failures. Currently it's quite hard to monitor if they get built >> unless you just do `guix build foo`. > > Or ‘guix weather’, which is not worse than a web UI IMO. +1 for CLI tools! >> The last time this came up [0] it was said that maybe it's not really >> correct to make these properties of the package, but rather of the CI >> jobs. It makes sense but we need a solution, or stop supporting >> underpowered architectures like armhf, because most of those machines >> can't build this stuff themselves, and it's not good to advertise >> support to people who will just be disappointed later. > > Yeah. I think we need to look at these on a case-by-case basis. Guile > is one of those packages known to hit the max-silent-time of 1h (?) > that’s configured on berlin. Hopefully it will no longer be the case > starting from 3.0.3. > > What about Linux-libre? Does it hit the max absolute build time on > armhf? I misdiagnosed the issue, substitutes for it are available now and previous seems to be there too. IDK why it wasn't available before nor why I couldn't manage to built it myself. > As I wrote elsewhere, I think it makes more sense in a way to have > those timeouts configured system-wide. But yeah, we need to be > pragmatic. > > Thanks, > Ludo’. - Brice