Make sure we test building the server.

This commit is contained in:
John MacFarlane 2022-08-16 09:14:10 -07:00
parent 46eecf72c3
commit 97288cea56

View file

@ -56,7 +56,7 @@ jobs:
testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '8.10.7' - ghc: '8.10.7'
cabal: '3.2' cabal: '3.2'
cabalopts: '-fpandoc-cgi' cabalopts: '-fserver'
testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false' testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
- ghc: '9.0.2' - ghc: '9.0.2'
cabal: '3.4' cabal: '3.4'