diff options
| author | John MacFarlane <[email protected]> | 2025-07-23 15:25:15 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-07-23 15:25:15 -0700 |
| commit | 84bda29902ca98a83c718e8d28c13b3050471d90 (patch) | |
| tree | e1c387d25313d321f08d969e6beb3fba9b064e7d /.github | |
| parent | 54aef767730ac8ceed077aee1c8d5f141ed0cb8e (diff) | |
CI: another stab at preventing ghc 9.10, 9.12 from erroring.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b9b933eaf..d87d582cb 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -68,10 +68,10 @@ jobs: cabalopts: '--ghc-option=-Werror' - ghc: '9.10' cabal: 'latest' - cabalopts: '--ghc-option=-Werror --ghc-option=-W-no-unused-imports' + cabalopts: '--ghc-option=-Werror --ghc-option=-Werror-no-unused-imports' - ghc: '9.12' cabal: 'latest' - cabalopts: '--allow-newer --ghc-option=-Werror --ghc-options=-W-no-unused-imports' + cabalopts: '--allow-newer --ghc-option=-Werror --ghc-option=-Werror-no-unused-imports --ghc-option=-Werror-no-deriving-typeable' steps: - uses: actions/checkout@v4 |