diff options
| author | John MacFarlane <[email protected]> | 2022-11-07 08:32:54 -0800 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-11-07 08:32:54 -0800 |
| commit | 1bc48e9dc5979e9125ff55a8ea87a1aa6a7aaa83 (patch) | |
| tree | c04a718f905588471050c29b2333ca14707c4158 /linux/make_artifacts.sh | |
| parent | 452fe5aa177c36ff21189fadc96adf74f38d4c2f (diff) | |
CI: use cabal 3.8.1.0, `--ghc-options=-Werror`.
Previously we had to work around a cabal-install bug that caused
`-Werror` to react to dependencies as well as local packages,
but this is fixed in cabal 3.8.1.0. There are some cases in which
building dependencies only doesn't work (see #8084).
Diffstat (limited to 'linux/make_artifacts.sh')
0 files changed, 0 insertions, 0 deletions