diff options
| author | John MacFarlane <[email protected]> | 2025-12-12 11:39:54 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-12-12 11:39:54 +0100 |
| commit | 0645dead48c6ff70bf45b3209405c3420f09955d (patch) | |
| tree | 746d3cfefe5984dae75fdea1dfc7f508b054ec3f | |
| parent | 0d80123db78b33641835395b263c458184141f3f (diff) | |
CI: remove `--allow-newer` for ghc 9.12.
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |