diff options
author | Ben Gamari <ben@well-typed.com> | 2023-02-02 21:27:47 +0000 |
---|---|---|
committer | Ben Gamari <ben@well-typed.com> | 2023-02-02 21:27:47 +0000 |
commit | 46939b953a8a6b5ceb12128c55d2ef86ab95d76f (patch) | |
tree | ac3f36c977b27504291abb05ec789d7415a96c44 | |
parent | 0ada454703560b733fe3c920b87496ac1238c29e (diff) | |
download | haskell-wip/ci-verbosity.tar.gz |
gitlab-ci: Eliminate redundant ghc --info outputwip/ci-verbosity
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.
-rwxr-xr-x | .gitlab/ci.sh | 7 |
1 files 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() { |