From 8feb93013cf6f093e025c9e9a3213ae1fa0f73a0 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@well-typed.com>
Date: Thu, 2 Feb 2023 21:27:47 +0000
Subject: gitlab-ci: Eliminate redundant ghc --info output

Previously ci.sh would emit the output of `ghc --info` every time it ran
when using the nix toolchain. This produced a significant amount of
noise.

See #22861.
---
 .gitlab/ci.sh | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 6dd12768b1..c447696ae6 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -214,8 +214,6 @@ function set_toolchain_paths() {
         cat toolchain.sh
       fi
       source toolchain.sh
-      info "--info for GHC for $NIX_SYSTEM"
-      $GHC --info
       ;;
     env)
       # These are generally set by the Docker image but
@@ -274,6 +272,11 @@ function setup() {
   show_tool CABAL
   show_tool HAPPY
   show_tool ALEX
+
+  info "====================================================="
+  info "ghc --info"
+  info "====================================================="
+  $GHC --info
 }
 
 function fetch_ghc() {
-- 
cgit v1.2.1