GNU bug report logs - #74394
[PATCH 0/2] Skip slow tests by default and run 'check' in Git pre-push hook.

Previous Next

Full log

Message #11 received at 74394 <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: 74394 <at> debbugs.gnu.org
Cc: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
Subject: [PATCH 2/2] etc: Ensure test suite passes in pre-push git hook.
Date: Sun, 17 Nov 2024 21:21:47 +0900

* etc/git/pre-push: Run 'make check' on as many cores as available, which
takes about 1 minute on a fast machine.

Change-Id: I60e77d18bc885e8013daae70580126465169b1c6
---
 etc/git/pre-push | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/git/pre-push b/etc/git/pre-push
index 325b23854b..74273ee180 100755
--- a/etc/git/pre-push
+++ b/etc/git/pre-push
@@ -33,6 +33,7 @@ do
 		case "$2" in
 		    *.gnu.org*)
 			set -e
+                        make check -j$(nproc)
 			make check-channel-news
 			exec guix git authenticate
 			exit 127
-- 
2.46.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.