From 0645dead48c6ff70bf45b3209405c3420f09955d Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 12 Dec 2025 11:39:54 +0100 Subject: CI: remove `--allow-newer` for ghc 9.12. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github') diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3d2a6746c..650997d9b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -58,7 +58,7 @@ jobs: cabalopts: '--ghc-option=-Werror' - ghc: '9.12' cabal: 'latest' - cabalopts: '--allow-newer --ghc-option=-Werror --ghc-option=-Wno-deriving-typeable' + cabalopts: '--ghc-option=-Werror --ghc-option=-Wno-deriving-typeable' steps: - uses: actions/checkout@v6 -- cgit v1.2.3