CI: Test compilation without 'server' flag.

2026-09-24 15:44:59 +08:00 · 2022-09-26 22:03:27 -07:00
parent efea562234
commit 5e6b28cd0e
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: ''
+            cabalopts: '-f-server'
            testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
          - ghc: '8.10.7'
            cabal: '3.2'