#78133 `./pre-inst-env guix lint` does not work at all

Received: (at 78133-done) by debbugs.gnu.org; 1 Aug 2025 17:47:58 +0000
From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 01 13:47:58 2025
Received: from localhost ([127.0.0.1]:57098 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
	id 1uhtrK-00077L-1i
	for submit@debbugs.gnu.org; Fri, 01 Aug 2025 13:47:58 -0400
Received: from hera.aquilenet.fr ([185.233.100.1]:56576)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <andreas@enge.fr>) id 1uhtrH-00076u-M5
 for 78133-done@debbugs.gnu.org; Fri, 01 Aug 2025 13:47:56 -0400
Received: from localhost (localhost [127.0.0.1])
 by hera.aquilenet.fr (Postfix) with ESMTP id E80663BB;
 Fri,  1 Aug 2025 19:47:48 +0200 (CEST)
Authentication-Results: hera.aquilenet.fr;
	none
X-Virus-Scanned: Debian amavis at hera.aquilenet.fr
Received: from hera.aquilenet.fr ([127.0.0.1])
 by localhost (hera.aquilenet.fr [127.0.0.1]) (amavis, port 10024) with ESMTP
 id hEYKqgUaxdaD; Fri,  1 Aug 2025 19:47:48 +0200 (CEST)
Received: from jurong (86.56.141.77.rev.sfr.net [77.141.56.86])
 by hera.aquilenet.fr (Postfix) with ESMTPSA id 4C8D53B0;
 Fri,  1 Aug 2025 19:47:48 +0200 (CEST)
Date: Fri, 1 Aug 2025 19:47:46 +0200
From: Andreas Enge <andreas@enge.fr>
To: 78133-done@debbugs.gnu.org
Subject: Close
Message-ID: <aIz9whu41KO1cNuF@jurong>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Spamd-Result: default: False [-2.68 / 15.00]; NEURAL_HAM(-2.78)[-0.928];
 MID_RHS_NOT_FQDN(0.50)[]; BAYES_HAM(-0.30)[75.00%];
 MIME_GOOD(-0.10)[text/plain]; RCVD_COUNT_TWO(0.00)[2];
 FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+];
 RCPT_COUNT_ONE(0.00)[1]; TO_DN_NONE(0.00)[];
 RCVD_VIA_SMTP_AUTH(0.00)[]; RCVD_TLS_ALL(0.00)[];
 FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[];
 ARC_NA(0.00)[]
X-Rspamd-Action: no action
X-Rspamd-Queue-Id: E80663BB
X-Rspamd-Server: hera
X-Spamd-Bar: --
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 78133-done
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: -1.0 (-)