diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2023-01-12 22:20:37 +0100 |
|---|---|---|
| committer | Albert Krewinkel <albert@zeitkraut.de> | 2023-01-12 22:21:39 +0100 |
| commit | 80349096782986b13295c03d7fe324bb15a9fda9 (patch) | |
| tree | 615c54b779ef078291a02e3a2abfb7ac36850c95 /.github/workflows | |
| parent | 28fa37e554aaf795a2b61eb08ed8081f4576f547 (diff) | |
CI: remove unused key `testopts` from version matrix.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
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 |