diff options
| author | John MacFarlane <[email protected]> | 2025-12-12 11:54:19 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-12 11:54:19 +0100 |
| commit | 73dd5cc308c569b5ef2d0a6b5a4fbf5398fb919c (patch) | |
| tree | 1b2aea6ce309778fb8b8bb9eee5dd0a66dfc6966 /.github/workflows | |
| parent | 0645dead48c6ff70bf45b3209405c3420f09955d (diff) | |
Add `-Wno-deriving-typeble` to cabal ghc-options for ghc >= 9.12.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 650997d9b..5de152cbb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -58,7 +58,8 @@ jobs: cabalopts: '--ghc-option=-Werror' - ghc: '9.12' cabal: 'latest' - cabalopts: '--ghc-option=-Werror --ghc-option=-Wno-deriving-typeable' + cabalopts: '--ghc-option=-Werror' + steps: - uses: actions/checkout@v6 |