diff options
author | Ben Gamari <ben@well-typed.com> | 2023-01-31 20:27:51 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-24 21:29:32 -0500 |
commit | fdc89a8d77622038944231ac3244ec88bdfc2c0f (patch) | |
tree | 57b4bb2a97ed295684644f00ec0561691d6a2571 /.gitlab/ci.sh | |
parent | 2bfad50fe36756b2909146d10fc3735b89bbf59a (diff) | |
download | haskell-fdc89a8d77622038944231ac3244ec88bdfc2c0f.tar.gz |
gitlab-ci: Run nix-build with -v0
This significantly cuts down on the amount of
noise in the job log.
Addresses #22861.
Diffstat (limited to '.gitlab/ci.sh')
-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 |