From b65649ca737231edff4a7ced35f77cb85db86679 Mon Sep 17 00:00:00 2001
From: ISSOtm <me@eldred.fr>
Date: Tue, 14 Apr 2026 16:20:36 +0200
Subject: [PATCH] Tidy up system info

---
 .github/scripts/install_deps.sh | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh
index 1ab3ef50..94ced7eb 100755
--- a/.github/scripts/install_deps.sh
+++ b/.github/scripts/install_deps.sh
@@ -32,7 +32,16 @@ case "${1%%-*}" in
 		;;
 esac
 
+# Print some system info, for easier debugging.
+# https://docs.github.com/en/actions/reference/workflows-and-actions/workflow-commands#grouping-log-lines
+
+echo ::group::PATH
 echo "PATH=($PATH)" | sed 's/:/\n      /g'
-bison --version
-make --version
-cmake --version
+echo ::endgroup::
+
+for prog in bison make cmake; do
+	printf '::group::' # No line terminator, the next command's first line becomes the group's title.
+	$prog --version
+	type $prog
+	echo ::endgroup::
+done