diff options
| author | John MacFarlane <[email protected]> | 2025-12-12 11:01:31 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-12 11:01:31 +0100 |
| commit | 0da76b12489f291efd8cf9a40bbdc741a890be96 (patch) | |
| tree | e370464adf8310ffe6740f24aadbe1b05eeb8cb5 | |
| parent | e7e1f13bcbe9d669a9834aae2b8f3cedc53fb631 (diff) | |
CI: try removing `-Wno-unused-imports`.
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files 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 |