From 0da76b12489f291efd8cf9a40bbdc741a890be96 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 12 Dec 2025 11:01:31 +0100 Subject: CI: try removing `-Wno-unused-imports`. --- .github/workflows/ci.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6fb8ff5d9..446b8d36c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -43,7 +43,7 @@ jobs: runs-on: ubuntu-latest strategy: - fail-fast: true + fail-fast: false matrix: versions: # NOTE: Update `CONTRIBUTING.md` when changing the minimum version @@ -55,10 +55,10 @@ jobs: cabalopts: '--ghc-option=-Werror' - ghc: '9.10' cabal: 'latest' - cabalopts: '--ghc-option=-Werror --ghc-option=-Wno-unused-imports' + cabalopts: '--ghc-option=-Werror' - ghc: '9.12' cabal: 'latest' - cabalopts: '--allow-newer --ghc-option=-Werror --ghc-option=-Wno-unused-imports --ghc-option=-Wno-deriving-typeable' + cabalopts: '--allow-newer --ghc-option=-Werror' # --ghc-option=-Wno-unused-imports --ghc-option=-Wno-deriving-typeable' steps: - uses: actions/checkout@v6 -- cgit v1.2.3