diff options
author | Ben Gamari <ben@well-typed.com> | 2023-01-31 20:27:51 +0000 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2023-02-24 11:53:44 -0500 |
commit | 0ebedcd0bee264b18c3e74e3a8f75423176fc884 (patch) | |
tree | 4d7e9b1db82afa3519819c26f8ed422d229f934b | |
parent | f11d9c274d728696bc173c62a2ead62b8288836f (diff) | |
download | haskell-0ebedcd0bee264b18c3e74e3a8f75423176fc884.tar.gz |
gitlab-ci: Run nix-build with -v0wip/T22861
This significantly cuts down on the amount of
noise in the job log.
Addresses #22861.
-rwxr-xr-x | .gitlab/ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index c447696ae6..4f2026f708 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -210,7 +210,7 @@ function set_toolchain_paths() { *) fail "unknown NIX_SYSTEM" ;; esac info "Building toolchain for $NIX_SYSTEM" - nix-build .gitlab/darwin/toolchain.nix --argstr system "$NIX_SYSTEM" -o toolchain.sh + nix-build --quiet .gitlab/darwin/toolchain.nix --argstr system "$NIX_SYSTEM" -o toolchain.sh cat toolchain.sh fi source toolchain.sh |