[WIP] Pietro's CI playground

src/ci/docker/run.sh

@@ -40,6 +40,7 @@ source "$ci_dir/shared.sh"
 
 CACHE_DOMAIN="${CACHE_DOMAIN:-ci-caches.rust-lang.org}"
 
+ciStartGroup "Download or build the Docker image"
 if [ -f "$docker_dir/$image/Dockerfile" ]; then
     if [ "$CI" != "" ]; then
       hash_key=/tmp/.docker-hash-key.txt
@@ -151,6 +152,7 @@ else
 
     exit 1
 fi
+ciEndGroup
 
 mkdir -p $HOME/.cargo
 mkdir -p $objdir/tmp

src/ci/shared.sh

@@ -128,3 +128,32 @@ function ciCommandSetEnv {
         exit 1
     fi
 }
+
+function ciStartGroup {
+    if [[ $# -ne 1 ]]; then
+        echo "usage: $0 <name>"
+        exit 1
+    fi
+    name="$1"
+
+    # Only run this on the CI platforms that support the feature. Losing
+    # support for this is not a big deal, logs would just be a bit harder to
+    # navigate.
+    if isGitHubActions; then
+        echo "::group::${name}"
+    fi
+}
+
+function ciEndGroup {
+    if [[ $# -ne 0 ]]; then
+        echo "usage: $0"
+        exit 1
+    fi
+
+    # Only run this on the CI platforms that support the feature. Losing
+    # support for this is not a big deal, logs would just be a bit harder to
+    # navigate.
+    if isGitHubActions; then
+        echo "::endgroup::"
+    fi
+}