summaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml
diff options
context:
space:
mode:
authorAlbert Krewinkel <albert@zeitkraut.de>2023-01-12 22:20:37 +0100
committerAlbert Krewinkel <albert@zeitkraut.de>2023-01-12 22:21:39 +0100
commit80349096782986b13295c03d7fe324bb15a9fda9 (patch)
tree615c54b779ef078291a02e3a2abfb7ac36850c95 /.github/workflows/ci.yml
parent28fa37e554aaf795a2b61eb08ed8081f4576f547 (diff)
CI: remove unused key `testopts` from version matrix.
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r--.github/workflows/ci.yml8
1 files changed, 0 insertions, 8 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f402ef745..6e31094d7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -49,32 +49,24 @@ jobs:
- ghc: '8.6.5'
cabal: 'latest'
cabalopts: '-f-embed_data_files'
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '8.8.4'
cabal: 'latest'
cabalopts: '-f-lua -f-server --enable-benchmarks'
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '8.10.7'
cabal: 'latest'
cabalopts: ''
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '9.0.2'
cabal: 'latest'
cabalopts: ''
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '9.2.5'
cabal: 'latest'
cabalopts: ''
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '9.4.4'
cabal: 'latest'
cabalopts: ''
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
-
- ghc: '9.4.4'
cabal: 'latest'
cabalopts: '--allow-newer --constrain "mtl >= 2.3.1"'
- testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
steps:
- uses: actions/checkout@v3