From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 0JEEOpDB92SiTQAAauVa8A:P1 (envelope-from ) for ; Wed, 06 Sep 2023 02:02:25 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id 0JEEOpDB92SiTQAAauVa8A (envelope-from ) for ; Wed, 06 Sep 2023 02:02:25 +0200 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 92D4967619 for ; Wed, 6 Sep 2023 02:02:24 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=GT8XT5iH; 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"; dmarc=pass (policy=none) header.from=gmail.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1693958544; 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: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=ZNFbIz4M8qd7X7XPtp5Mt83IN8jXWCEL5+YKhxKh6bw=; b=Bi0Cpo1bjLCB3MeLkchwCLtv4EtvMVlUOmr9nWtWsLKi+31d8TnO1cs00U0qbk0nR4vFOA JKVjrDfkDs5RHIRpGyD9kefgLSM3zKAseNX/igJ+gNyMzuT2JvGPKMPhz7Ke0TPQtBr0RW 4xsG/0gmMbv+GNSs5J0ur7yQBWDozngQRvS3cY+GaRldA5AWIZ7ZAn28EnokHzS2X8Wm9n ZpLMvvXVfkFiHwBusBYAQVN4QpuGb9UqzaYH9VWGs2u3fYvLPX23xO0P+7YVgbvuwCnMru Cxyc14jgJBm1ss5tzaR4WsvAtDzS9Zj+dpfZGwwcl+4+I3Y2Ufr97R8pDCP/Qg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1693958544; a=rsa-sha256; cv=none; b=ONLOpnJaTlt5BzZX5n4T8yZ6uSNyZb1r8hFZmwmio7zDiXnhXL1Ze/N+D7t6nANkMZd1ow YnUyjTL9wmSlLXGtJQFTy7ju9EOS622EdkeQaGXOioAsAMqbyfYqjLsMWfw8ti6ljvUvAi vkQRcfuTRWb8jRJ5i47zjpSylLiw2C8sqk1WrW3tpQ8d8WCwvKhett51xUrT/2reixVps+ /SXqvNW8smHQynlB0l06UuakAANmB5IViT9oSRGFVs0GHl2UU9ifMYwGQNPbZsmbwsSYey tKsAvSg9/OtWVbsfEWW1BiLg5payHoKj54ame9pQ0Zf9jZKIQiVVQAD82KAajQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20221208 header.b=GT8XT5iH; 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"; dmarc=pass (policy=none) header.from=gmail.com Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qdfzJ-0001tT-9I; Tue, 05 Sep 2023 20:01:41 -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 1qdfzF-0001t7-Lk for guix-devel@gnu.org; Tue, 05 Sep 2023 20:01:37 -0400 Received: from mail-lf1-x130.google.com ([2a00:1450:4864:20::130]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qdfzD-0006EM-DL for guix-devel@gnu.org; Tue, 05 Sep 2023 20:01:37 -0400 Received: by mail-lf1-x130.google.com with SMTP id 2adb3069b0e04-4f13c41c957so770828e87.1 for ; Tue, 05 Sep 2023 17:01:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693958493; x=1694563293; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=ZNFbIz4M8qd7X7XPtp5Mt83IN8jXWCEL5+YKhxKh6bw=; b=GT8XT5iHTy/f/p09x+i1c3Kz5ghbmReG2o7DaxfN8RnyBNLMDbhGCaG7BxMier+a7j raEqtOuYiH75iv/wECeGzN7zoeK2jxiwZk4oV+x3cK/rw5Xp8OsZ3/5fjbAQQW2A8ttn QI12AoPdXYlTMMO4D2I46o+lWtYVMnqYtjwJFVKrijS2P2TNqWzcFqXCb5upL7wVrwXK Es2q+a+VunKl9eS4gfVvRiK2B3rADzFI1ltGU7rCOMoiQeGz+2K9T3zpJgQunWEM81bb bfmWQvmRiT7Xkp7n6rsf/716x0hVsRBG2rFI2CzhYar+ZewqNXJxMHXw3b9PNlgTP0k/ gRWA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693958493; x=1694563293; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=ZNFbIz4M8qd7X7XPtp5Mt83IN8jXWCEL5+YKhxKh6bw=; b=gKOvFqZJ6vTYh4NsTEqkQI4dhCad3iq2DIlNKRhnDmp+PA1kTdLmqBxJp+cors2xpD xww29uhmyEuSZH2GOsrmY6QB/KSSKHdwAEv6si+SfromH3MS+mr/RbMEWwzin7Y4BdBu N0PBKyfrm9uubO644ngiAJy8MF7H438IqoQis9EnluAxfFEw0jUEtoBOrPZujdAlBE8U Fr2oleG39paIiYif5hYxLKgesR+UyB16Fxw4CVYySAwuwhmix6Ejl4UaR1O+0V/TmAyy Kqx37YfyZYzbeODAxpRaVe7LXfPlSH4PL/yhx5Q3hOQqFFi+XBoN1dpKx7LUFiWNbBuV wPWg== X-Gm-Message-State: AOJu0YzkCn4ydOJqb6TXrT/3OAM4VkTbHnbXdZpotLKtG7xGS64aVBrF ZgLsYivVH1OJvdVDEArp6Suf+P0jPvM= X-Google-Smtp-Source: AGHT+IG0omtZsvriBfWHzUeQbCd3YIrieC/lD7LvA73+UhwLc+nUfrUMpdGEeIl5qlDw1+Ui+G1/zw== X-Received: by 2002:ac2:4c2f:0:b0:4fd:cab4:7d13 with SMTP id u15-20020ac24c2f000000b004fdcab47d13mr8264227lfq.0.1693958493137; Tue, 05 Sep 2023 17:01:33 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id fa20-20020a05600c519400b00402d7105035sm2871540wmb.26.2023.09.05.17.01.32 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 05 Sep 2023 17:01:32 -0700 (PDT) From: Simon Tournier To: wolf Cc: Katherine Cox-Buday , guix-devel , Vagrant Cascadian Subject: Re: How can we decrease the cognitive overhead for contributors? In-Reply-To: References: <871qfsuvad.fsf@gmail.com> <8e74c4ac-a6f3-9127-7e13-593a2eb70432@gmail.com> <87a5ubqxm6.fsf@gmail.com> <861qfcvhw2.fsf@gmail.com> Date: Wed, 06 Sep 2023 01:02:22 +0200 Message-ID: <86r0ncp6kh.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::130; envelope-from=zimon.toutoune@gmail.com; helo=mail-lf1-x130.google.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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, 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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -5.18 X-Spam-Score: -5.18 X-Migadu-Queue-Id: 92D4967619 X-TUID: xTjJ54mZ19el Hi, On Wed, 06 Sep 2023 at 00:11, wolf wrote: > But I guess this was supposed to be taken as "run make check' and make su= re > nothing new is broken". Is there a command for that? Yes taken like that. :-) And nothing I am aware. I agree that the situation with =E2=80=9Cmake chec= k=E2=80=9D is imperfect. Cheers, simon