diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6a6310193..31a33f7e5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -70,6 +70,11 @@ jobs: cabal: '3.8' cabalopts: '' testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' + + - ghc: '9.4.2' + cabal: '3.8' + cabalopts: '--allow-newer --constrain "mtl >= 2.3.1"' + testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' steps: - uses: actions/checkout@v3 |