Message #10 received at 61839@debbugs.gnu.org (full text, mbox, reply):
Received: (at 61839) by debbugs.gnu.org; 3 Mar 2023 14:24:26 +0000 From debbugs-submit-bounces@debbugs.gnu.org Fri Mar 03 09:24:26 2023 Received: from localhost ([127.0.0.1]:60008 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1pY6Kg-0001Hm-3W for submit@debbugs.gnu.org; Fri, 03 Mar 2023 09:24:26 -0500 Received: from eggs.gnu.org ([209.51.188.92]:43604) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <ludo@gnu.org>) id 1pY6Kf-0001HX-2v for 61839@debbugs.gnu.org; Fri, 03 Mar 2023 09:24:25 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ludo@gnu.org>) id 1pY6KZ-0005Z5-Oc for 61839@debbugs.gnu.org; Fri, 03 Mar 2023 09:24:19 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=GzKp0NqEk85EOFRYaglJljC5m1S1rWp78gqTujAoz2Q=; b=c+1c3bELKcPlVSBcHl+l 8kY+JPE9u9JZ5u9W0yq/SG3GeCXV2lWsYWvpsTbGp8fYtFba3SoFbn12tPNrIXGyxa/yvWwkW3arU cVNiYUC0y4QzbKaTwXzVi6ZI/wnfBnrpr+HqXTFHg5uPvTMTlspHWAFY8qAGami835WW27h5Gyk9Z lz6uH7xYRCq2bEridoZ2DGF8aeDeqWFs6alzBTOsVDMY3UD9tkG2mPo5EDTzAZS5YMOkUFSbPhAPH bVkwVtLt2XVTMflMb9yXNQhFdRnyeHeTGpnlW/rRF4gbOeMyK/iYSOXSF7++z4hWwYcdVYl/si8MW uz2zPh3ZRHHmJg==; Received: from [193.50.110.138] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <ludo@gnu.org>) id 1pY6KZ-00081x-5Y; Fri, 03 Mar 2023 09:24:19 -0500 From: Ludovic Courtès <ludo@gnu.org> To: 61839@debbugs.gnu.org Subject: Re: bug#61839: [Cuirass] Build timeouts during evaluations References: <87a60zo0le.fsf@inria.fr> Date: Fri, 03 Mar 2023 15:24:16 +0100 In-Reply-To: <87a60zo0le.fsf@inria.fr> ("Ludovic Courtès"'s message of "Mon, 27 Feb 2023 11:37:49 +0100") Message-ID: <87sfelx69b.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.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: 61839 Cc: Mathieu Othacehe <othacehe@gnu.org> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request@debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit@debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request@debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request@debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> X-Spam-Score: -3.3 (---)
Send a report that this bug log contains spam.
Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.
Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.