diff options
| author | John MacFarlane <[email protected]> | 2022-10-28 09:33:03 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-10-28 09:33:03 -0700 |
| commit | 0be828c103875a003b5d4269393e65451305fb24 (patch) | |
| tree | 052a0883785bdde49752c1016ffba0b816aa2907 | |
| parent | 135cfed2a385efccf61214002736e81c7b3ef667 (diff) | |
CI: add ghc 9.4.2.
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 199495dc2..6a6310193 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -66,6 +66,10 @@ jobs: cabal: '3.6' cabalopts: '' testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' + - ghc: '9.4.2' + cabal: '3.8' + cabalopts: '' + testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' steps: - uses: actions/checkout@v3 |