CI: Make sure we test -lua configuration.

2026-08-25 17:56:32 +00:00 · 2022-10-17 22:10:30 -07:00
parent 4de3a9c2ca
commit dbac9541b5
1 changed files with 1 additions and 1 deletions
@@ -52,7 +52,7 @@ jobs:
            testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
          - ghc: '8.8.4'
            cabal: '3.2'
-            cabalopts: '-f-server --enable-benchmarks'
+            cabalopts: '-f-lua -f-server --enable-benchmarks'
            testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
          - ghc: '8.10.7'
            cabal: '3.2'