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 | |
| 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')
| -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 |