diff options
| author | John MacFarlane <[email protected]> | 2025-07-23 16:07:09 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-07-23 16:07:09 -0700 |
| commit | 521bbb2e0cbbec172dd78e77130f00a4cf992500 (patch) | |
| tree | 3c45d4bbd5da26e008c113dbe77b883508f2527f | |
| parent | 84bda29902ca98a83c718e8d28c13b3050471d90 (diff) | |
Fix CI again.
| -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 d87d582cb..66802fbb0 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=-Werror-no-unused-imports' + cabalopts: '--ghc-option=-Werror --ghc-option=-Wno-unused-imports' - ghc: '9.12' cabal: 'latest' - cabalopts: '--allow-newer --ghc-option=-Werror --ghc-option=-Werror-no-unused-imports --ghc-option=-Werror-no-deriving-typeable' + cabalopts: '--allow-newer --ghc-option=-Werror --ghc-option=-Wno-unused-imports --ghc-option=-Wno-deriving-typeable' steps: - uses: actions/checkout@v4 |