From 521bbb2e0cbbec172dd78e77130f00a4cf992500 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Wed, 23 Jul 2025 16:07:09 -0700 Subject: Fix CI again. --- .github/workflows/ci.yml | 4 ++-- 1 file 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 -- cgit v1.2.3