From 1d142fcd29cce6236370930eea796d6b21adb43b Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Fri, 6 Dec 2024 23:59:01 -0500
Subject: [PATCH] ci: Use workflow commands to group output by target

---
 ci/verify-build.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ci/verify-build.sh b/ci/verify-build.sh
index a433f047095d..cc407d7569b7 100755
--- a/ci/verify-build.sh
+++ b/ci/verify-build.sh
@@ -28,6 +28,12 @@ if [ "$TOOLCHAIN" = "nightly" ] ; then
     rustup component add rust-src
 fi
 
+# Print GHA workflow commands
+echo_if_ci() {
+    # Discard stderr so the "set -x" trace doesn't show up
+    { [ -n "${CI:-}" ] && echo "$1"; } 2> /dev/null
+}
+
 # Run the tests for a specific target
 test_target() {
     target="$1"
@@ -293,11 +299,15 @@ filter_and_run() {
 }
 
 for target in $targets; do
+    echo_if_ci "::group::Target: $target"
     filter_and_run "$target"
+    echo_if_ci "::endgroup::"
 done
 
 for target in ${no_dist_targets:-}; do
+    echo_if_ci "::group::Target: $target"
     filter_and_run "$target" 1
+    echo_if_ci "::endgroup::"
 done
 
 # Make sure we didn't accidentally filter everything