diff options
author | Ben Gamari <ben@well-typed.com> | 2023-02-02 21:27:47 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-03 05:25:59 -0500 |
commit | 8feb93013cf6f093e025c9e9a3213ae1fa0f73a0 (patch) | |
tree | 49ecae0e9be0f5fa796cc15c097146fdd775b0d6 /configure.ac | |
parent | 3135819847aae0cdcc6c2fca4a2234fcfed1db93 (diff) | |
download | haskell-8feb93013cf6f093e025c9e9a3213ae1fa0f73a0.tar.gz |
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.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions